Begin adding proof for decoder2

[soc.git] / src / soc / decoder / formal / .gitignore

diff --git a/src/soc/decoder/formal/.gitignore b/src/soc/decoder/formal/.gitignore
new file mode 100644 (file)
index 0000000..37ad79e
--- /dev/null
+++ b/src/soc/decoder/formal/.gitignore
@@ -0,0 +1 @@
+proof_*/**