remove btor code (#2332)

Removes all the old btor code that is no longer used.
calyxir · Nov 5, 2024 · 48f5002 · 48f5002
1 parent 95fb141
commit 48f5002
Show file tree

Hide file tree

Showing 44 changed files with 2 additions and 4,178 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -15,7 +15,6 @@ members = [
     "fud2",
     "fud2/fud-core",
     "tools/data-conversion",
-    "tools/btor2/btor2i",
     "tools/calyx-pass-explorer",
     "tools/cider-data-converter",
     "tools/component_cells",

diff --git a/docs/tools/sv2btor.md b/docs/tools/sv2btor.md
diff --git a/interp/Cargo.toml b/interp/Cargo.toml
@@ -43,8 +43,6 @@ calyx-utils = { path = "../calyx-utils", features = ["serialize"] }
 calyx-opt = { path = "../calyx-opt" }
 calyx-frontend = { path = "../calyx-frontend" }
 
-btor2i = { path = "../tools/btor2/btor2i" }
-
 ciborium = "0.2.2"
 baa = { version = "0.14.0", features = ["bigint", "serde1", "fraction1"] }
 fst-writer = "0.2.1"

diff --git a/interp/src/flatten/primitives/btor2_prim.rs b/interp/src/flatten/primitives/btor2_prim.rs
diff --git a/interp/src/flatten/primitives/mod.rs b/interp/src/flatten/primitives/mod.rs
@@ -1,4 +1,3 @@
-pub mod btor2_prim;
 mod builder;
 pub mod combinational;
 pub(crate) mod macros;

diff --git a/tools/btor2/btor2i/Cargo.toml b/tools/btor2/btor2i/Cargo.toml
diff --git a/tools/btor2/btor2i/Makefile b/tools/btor2/btor2i/Makefile
diff --git a/tools/btor2/btor2i/README.md b/tools/btor2/btor2i/README.md
diff --git a/tools/btor2/btor2i/benchmark.toml b/tools/btor2/btor2i/benchmark.toml