Add gitignore

CTSRD-CHERI · Mar 22, 2022 · 72f8720 · 72f8720
1 parent 2d5a012
commit 72f8720
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,9 @@
+CHERI_Gen_Lemmas.thy
+CHERI_Cap_Properties.thy
+CHERI_Mem_Properties.thy
+CHERI_Fetch_Properties.thy
+CHERI_Invariant.thy
+*.thy~
+*.smt2
+z3_problems
+output