diff --git a/.gitignore b/.gitignore
index b54ddaec00a3193ee2e7adc7e7151c1eaf4c9533..c0a530d22f987425831eb945a452c763910f6698 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,18 @@
 __pycache__/
 *.vcd
+*.il
+*.ys
+logfile.txt
+design.log
+design_smt2.log
+design_smt2.smt2
+status
+*.xml
+PASS
+FAIL
+config.sby
+logfile_basecase.txt
+logfile_induction.txt
 build/
 *.gtkw
 *.sublime-workspace