From: Luke Kenneth Casson Leighton Date: Sat, 4 Jul 2020 14:07:19 +0000 (+0100) Subject: add gitignores X-Git-Tag: div_pipeline~162^2~93 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c6afeb501e2dc231ee7445b4745321a6fb10be46;p=soc.git add gitignores --- diff --git a/src/soc/experiment/formal/.gitignore b/src/soc/experiment/formal/.gitignore new file mode 100644 index 00000000..a51e0801 --- /dev/null +++ b/src/soc/experiment/formal/.gitignore @@ -0,0 +1 @@ +proof* diff --git a/src/soc/regfile/formal/.gitignore b/src/soc/regfile/formal/.gitignore new file mode 100644 index 00000000..a51e0801 --- /dev/null +++ b/src/soc/regfile/formal/.gitignore @@ -0,0 +1 @@ +proof*