Merge pull request #614 from egraphs-good/oflatt-better-names

Better names to distinguish blocks and variables
egraphs-good · May 29, 2024 · 6adeaf8 · 6adeaf8
2 parents b8d3596 + bb4b990
commit 6adeaf8
Show file tree

Hide file tree

Showing 58 changed files with 2,398 additions and 956 deletions.
diff --git a/dag_in_context/.gitignore b/dag_in_context/.gitignore