Merge branch 'main' into yihozhang-ivt-dag-in-context

egraphs-good · Aug 6, 2024 · 43e18ea · 43e18ea
2 parents 1596512 + 49c505e
commit 43e18ea
Show file tree

Hide file tree

Showing 67 changed files with 2,281 additions and 799 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/dag_in_context/Cargo.lock b/dag_in_context/Cargo.lock
diff --git a/dag_in_context/Cargo.toml b/dag_in_context/Cargo.toml
@@ -22,3 +22,4 @@ symbol_table = { version = "0.3.0", features = ["global"] }
 rpds = "1.1.0"
 log = "0.4"
 env_logger = "0.11.3"
+insta = { version = "1.31.0", features = ["yaml"] }