projects / soc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b32a482)
add gitignores
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 4 Jul 2020 14:07:19 +0000 (15:07 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 4 Jul 2020 14:07:19 +0000 (15:07 +0100)
src/soc/experiment/formal/.gitignore [new file with mode: 0644] patch | blob
src/soc/regfile/formal/.gitignore [new file with mode: 0644] patch | blob

diff --git a/src/soc/experiment/formal/.gitignore b/src/soc/experiment/formal/.gitignore
new file mode 100644 (file)
index 0000000..a51e080
--- /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 (file)
index 0000000..a51e080
--- /dev/null
+++ b/src/soc/regfile/formal/.gitignore
@@ -0,0 +1 @@
+proof*