update

TritonVM · Dec 30, 2024 · df65f6e · df65f6e
1 parent 96cd4fd
commit df65f6e
Show file tree

Hide file tree

Showing 3 changed files with 187 additions and 223 deletions.
diff --git a/.gitignore b/.gitignore
@@ -57,3 +57,6 @@ specification/cheatsheet.aux
 specification/cheatsheet.log
 specification/cheatsheet.synctex.gz
 triton-vm/proofs/*
+
+# Ignore proptest-regression processor file caused by bug
+triton-air/proptest-regressions/table/processor.txt
diff --git a/triton-air/proptest-regressions/table/processor.txt b/triton-air/proptest-regressions/table/processor.txt