From eec81fdbe13f0caa0c3ccf3b4134ccaebc6c87be Mon Sep 17 00:00:00 2001 From: colepoirier Date: Sun, 7 Feb 2021 14:30:16 -0800 Subject: [PATCH] Modify experiment/formal/.gitignore because was preventing commiting proof_icache.py --- src/soc/experiment/formal/.gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.30.2