move tools into their own folder

cucapra · Dec 4, 2024 · b3f7cc9 · b3f7cc9
1 parent c7c23c0
commit b3f7cc9
Show file tree

Hide file tree

Showing 7 changed files with 6 additions and 5 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [workspace]
 resolver = "2"
-members = [ "bmc","patronus", "patronus-egraphs", "patronus-egraphs-cond-synth", "sim"]
+members = ["patronus", "patronus-egraphs", "tools/bmc", "tools/egraphs-cond-synth", "tools/sim"]
 
 [workspace.package]
 edition = "2021"
@@ -15,6 +15,7 @@ rustc-hash = "2.x"
 baa = "0.14.5"
 egg = "0.9.5"
 clap =  { version = "4.x", features = ["derive"] }
+patronus = {path = "patronus"}
 
 # speed up execution of tests using insta
 [profile.dev.package]

diff --git a/bmc/Cargo.toml → tools/bmc/Cargo.toml b/bmc/Cargo.toml → tools/bmc/Cargo.toml
@@ -10,5 +10,5 @@ license.workspace = true
 rust-version.workspace = true
 
 [dependencies]
-patronus = { path = "../patronus" }
+patronus.workspace = true
 clap.workspace = true
diff --git a/bmc/src/main.rs → tools/bmc/src/main.rs b/bmc/src/main.rs → tools/bmc/src/main.rs
diff --git a/patronus-egraphs-cond-synth/Cargo.toml → tools/egraphs-cond-synth/Cargo.toml b/patronus-egraphs-cond-synth/Cargo.toml → tools/egraphs-cond-synth/Cargo.toml
@@ -9,7 +9,7 @@ license.workspace = true
 rust-version.workspace = true
 
 [dependencies]
-patronus = { path = "../patronus" }
-patronus-egraphs = { path = "../patronus-egraphs"}
+patronus.workspace = true
+patronus-egraphs = { path = "../../patronus-egraphs"}
 egg.workspace = true
 clap.workspace = true
diff --git a/patronus-egraphs-cond-synth/src/main.rs → tools/egraphs-cond-synth/src/main.rs b/patronus-egraphs-cond-synth/src/main.rs → tools/egraphs-cond-synth/src/main.rs
diff --git a/sim/Cargo.toml → tools/sim/Cargo.toml b/sim/Cargo.toml → tools/sim/Cargo.toml
@@ -10,7 +10,7 @@ license.workspace = true
 rust-version.workspace = true
 
 [dependencies]
-patronus = { path = "../patronus" }
+patronus.workspace = true
 clap.workspace = true
 rustc-hash.workspace = true
 baa.workspace = true
diff --git a/sim/src/main.rs → tools/sim/src/main.rs b/sim/src/main.rs → tools/sim/src/main.rs