projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41d2c31) | patch
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)
commit996c7d01ef27ec5e5191596933ed2ef45b2b5b57
tree706b4c1ce85f99d99cacae27b254a3739d2563fftree
parent41d2c31f6f0d184a57f468d5b157d6e8c0a44af1commit | diff
Ignore formal verification output in the source directory

This is similarly done in other sister directories.
src/soc/fu/spr/formal/.gitignore [new file with mode: 0644] blob
src/soc/fu/trap/formal/.gitignore [new file with mode: 0644] blob