move patronus dse to separate crate

cucapra · Dec 11, 2024 · faab7c8 · faab7c8
1 parent b786140
commit faab7c8
Show file tree

Hide file tree

Showing 7 changed files with 19 additions and 5 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [workspace]
 resolver = "2"
-members = ["patronus", "patronus-egraphs", "tools/bmc", "tools/egraphs-cond-synth", "tools/sim"]
+members = ["patronus", "patronus-egraphs", "patronus-dse", "tools/bmc", "tools/egraphs-cond-synth", "tools/sim"]
 
 [workspace.package]
 edition = "2021"

diff --git a/patronus-dse/Cargo.toml b/patronus-dse/Cargo.toml
@@ -0,0 +1,15 @@
+[package]
+name = "patronus-dse"
+version = "0.1.0"
+description = "dynamic symbolic execution with patronus"
+edition.workspace = true
+authors.workspace = true
+repository.workspace = true
+readme.workspace = true
+license.workspace = true
+rust-version.workspace = true
+
+[dependencies]
+patronus = { path = "../patronus" }
+boolean_expression.workspace = true
+rustc-hash.workspace = true
diff --git a/patronus/src/dse/engine.rs → patronus-dse/src/engine.rs b/patronus/src/dse/engine.rs → patronus-dse/src/engine.rs
@@ -2,8 +2,8 @@
 // released under BSD 3-Clause License
 // author: Kevin Laeufer <[email protected]>
 
-use crate::expr::Context;
-use crate::system::TransitionSystem;
+use patronus::expr::Context;
+use patronus::system::TransitionSystem;
 
 /// Symbolic execution engine.
 pub struct SymEngine {

diff --git a/patronus/src/dse/eval.rs → patronus-dse/src/eval.rs b/patronus/src/dse/eval.rs → patronus-dse/src/eval.rs
diff --git a/patronus/src/dse.rs → patronus-dse/src/lib.rs b/patronus/src/dse.rs → patronus-dse/src/lib.rs
diff --git a/patronus/src/dse/value_summary.rs → patronus-dse/src/value_summary.rs b/patronus/src/dse/value_summary.rs → patronus-dse/src/value_summary.rs
@@ -2,8 +2,8 @@
 // released under BSD 3-Clause License
 // author: Kevin Laeufer <[email protected]>
 
-use crate::expr::*;
 use boolean_expression::{BDDFunc, BDD};
+use patronus::expr::*;
 use rustc_hash::{FxBuildHasher, FxHashMap, FxHashSet};
 use std::hash::Hash;
 

diff --git a/patronus/src/lib.rs b/patronus/src/lib.rs
@@ -6,7 +6,6 @@ extern crate lazy_static;
 extern crate core;
 
 pub mod btor2;
-pub mod dse;
 pub mod expr;
 pub mod mc;
 pub mod sim;