projects / soc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 41d2c31)
Ignore formal verification output in the source directory
authorCesar Strauss <cestrauss@gmail.com>
Sun, 13 Dec 2020 18:16:29 +0000 (15:16 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sun, 13 Dec 2020 18:17:24 +0000 (15:17 -0300)
This is similarly done in other sister directories.

src/soc/fu/spr/formal/.gitignore [new file with mode: 0644] patch | blob
src/soc/fu/trap/formal/.gitignore [new file with mode: 0644] patch | blob

diff --git a/src/soc/fu/spr/formal/.gitignore b/src/soc/fu/spr/formal/.gitignore
new file mode 100644 (file)
index 0000000..150f68c
--- /dev/null
+++ b/src/soc/fu/spr/formal/.gitignore
@@ -0,0 +1 @@
+*/*
diff --git a/src/soc/fu/trap/formal/.gitignore b/src/soc/fu/trap/formal/.gitignore
new file mode 100644 (file)
index 0000000..150f68c
--- /dev/null
+++ b/src/soc/fu/trap/formal/.gitignore
@@ -0,0 +1 @@
+*/*