From: colepoirier <colepoirier@gmail.com>
Date: Sun, 7 Feb 2021 22:30:16 +0000 (-0800)
Subject: Modify experiment/formal/.gitignore because was preventing commiting
X-Git-Tag: convert-csv-opcode-to-binary~256
X-Git-Url: https://git.libre-soc.org/?p=soc.git;a=commitdiff_plain;h=eec81fdbe13f0caa0c3ccf3b4134ccaebc6c87be

Modify experiment/formal/.gitignore because was preventing commiting
proof_icache.py
---

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