Merge pull request #46 from kth-step/dev_vstte_fixes

Fixes for VSTTE tag
kth-step · Oct 11, 2024 · 5b6c041 · 5b6c041
2 parents b63ea43 + c606a07
commit 5b6c041
Show file tree

Hide file tree

Showing 29 changed files with 1,224 additions and 476 deletions.
diff --git a/.gitignore b/.gitignore
@@ -4,15 +4,9 @@
 *.uo
 *.ui
 *.dat
-hol/*Theory.sig
-hol/*Theory.sml
-hol/*-heap
-hol/p4_from_json/*Theory.sig
-hol/p4_from_json/*Theory.sml
-hol/p4_from_json/*-heap
-hol/symb_exec/*Theory.sig
-hol/symb_exec/*Theory.sml
-hol/symb_exec/*-heap
+*Theory.sig
+*Theory.sml
+*-heap
 
 ## LaTeX stuff
 *.aux