From 72f8720b75a01cdcf4cba77c194361d720512d1c Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss <tb592@cl.cam.ac.uk>
Date: Tue, 22 Mar 2022 11:22:34 +0000
Subject: [PATCH] Add gitignore

---
 .gitignore | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..10f0849
--- /dev/null
+++ 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