Move data-conversion tool to tools/ (#2175)

And remove some unnecessary files in the process.
calyxir · Jun 26, 2024 · a94a1a9 · a94a1a9
1 parent c788359
commit a94a1a9
Show file tree

Hide file tree

Showing 15 changed files with 1 addition and 345 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -14,7 +14,7 @@ members = [
     "cider-dap",
     "fud2",
     "fud2/fud-core",
-    "data-conversion",
+    "tools/data-conversion",
     "tools/btor2/btor2i",
     "tools/cider-data-converter",
     "tools/calyx-pass-explorer",

diff --git a/data-conversion/Cargo 2.toml b/data-conversion/Cargo 2.toml
diff --git a/data-conversion/converted 2.BIN b/data-conversion/converted 2.BIN
diff --git a/data-conversion/converted 2.txt b/data-conversion/converted 2.txt
diff --git a/data-conversion/converted.BIN b/data-conversion/converted.BIN
diff --git a/data-conversion/converted.txt b/data-conversion/converted.txt
diff --git a/data-conversion/src/main 2.rs b/data-conversion/src/main 2.rs
diff --git a/data-conversion/src/test b/data-conversion/src/test
diff --git a/data-conversion/src/test 2 b/data-conversion/src/test 2
diff --git a/data-conversion/tests/result 2.txt b/data-conversion/tests/result 2.txt
diff --git a/data-conversion/tests/test 2.txt b/data-conversion/tests/test 2.txt
diff --git a/data-conversion/Cargo.toml → tools/data-conversion/Cargo.toml b/data-conversion/Cargo.toml → tools/data-conversion/Cargo.toml
diff --git a/data-conversion/src/main.rs → tools/data-conversion/src/main.rs b/data-conversion/src/main.rs → tools/data-conversion/src/main.rs
diff --git a/data-conversion/tests/result.txt → tools/data-conversion/tests/result.txt b/data-conversion/tests/result.txt → tools/data-conversion/tests/result.txt
diff --git a/data-conversion/tests/test.txt → tools/data-conversion/tests/test.txt b/data-conversion/tests/test.txt → tools/data-conversion/tests/test.txt