Merge pull request #2 from assaferan/general_case

General case
assaferan · Feb 15, 2024 · 9a9ea38 · 9a9ea38
2 parents 24b9b1c + 8c4b03c
commit 9a9ea38
Show file tree

Hide file tree

Showing 6 changed files with 13,441 additions and 55 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,4 @@
+.magma-scan
 data/traces_upto*
 traces_up_to*
 data/*.m