projects / soc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: 6c28052)
Modify experiment/formal/.gitignore because was preventing commiting
authorcolepoirier <colepoirier@gmail.com>
Sun, 7 Feb 2021 22:30:16 +0000 (14:30 -0800)
committercolepoirier <colepoirier@gmail.com>
Sun, 7 Feb 2021 22:30:16 +0000 (14:30 -0800)
proof_icache.py

src/soc/experiment/formal/.gitignore patch | blob | history

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