X-Git-Url: https://git.libre-soc.org/?p=soc.git;a=blobdiff_plain;f=src%2Fsoc%2Fexperiment%2Fformal%2F.gitignore;h=98d683d1d19e8f75f152999dce4ec04988cc2a24;hp=a51e0801105adb154f68a6cb7c0d2c2b87f03e47;hb=eec81fdbe13f0caa0c3ccf3b4134ccaebc6c87be;hpb=6c280521e702270d04ef77b137d1bb13aacbd1e8

diff --git a/src/soc/experiment/formal/.gitignore b/src/soc/experiment/formal/.gitignore
index a51e0801..98d683d1 100644
--- a/src/soc/experiment/formal/.gitignore
+++ b/src/soc/experiment/formal/.gitignore
@@ -1 +1,2 @@
-proof*
+*.il
+*.vcd
\ No newline at end of file