Add infrastructure for integrating BTOR2 interpreter into Calyx (#1972)

Add interface for BTOR2 interpreter into Calyx, add test primitive using the interface, confirm that executing the primitive using cider2 results in desired output.
calyxir · Mar 20, 2024 · 231bda5 · 231bda5
1 parent be37a15
commit 231bda5
Show file tree

Hide file tree

Showing 21 changed files with 2,737 additions and 5 deletions.
diff --git a/.gitignore b/.gitignore
@@ -50,3 +50,6 @@ results.xml
 
 !cider-dap/calyxDebug/package.json
 !cider-dap/calyxDebug/tsconfig.json
+
+# btor2i ignore
+tools/btor2/btor2i/build/
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -3,6 +3,6 @@
     // the whole project. For all other things use your own local settings.
     "[rust]": {
         "editor.defaultFormatter": "rust-lang.rust-analyzer",
-        "editor.formatOnSave": true,
-    },
+        "editor.formatOnSave": true
+    }
 }