diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-11-24 18:49:44 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-11-24 18:49:44 +0000 |
commit | 3291d86ec38031e191ec1e7e5e8ddfa74b77cb7c (patch) | |
tree | 7d604206a2deb29c9f097ff1f3b7de78f44b34a3 /scripts/smtbmc/.gitignore | |
download | butterstick-3291d86ec38031e191ec1e7e5e8ddfa74b77cb7c.tar.gz butterstick-3291d86ec38031e191ec1e7e5e8ddfa74b77cb7c.zip |
Squashed 'picorv32/' content from commit f00a88c
git-subtree-dir: picorv32
git-subtree-split: f00a88c36eaab478b64ee27d8162e421049bcc66
Diffstat (limited to 'scripts/smtbmc/.gitignore')
-rw-r--r-- | scripts/smtbmc/.gitignore | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/scripts/smtbmc/.gitignore b/scripts/smtbmc/.gitignore new file mode 100644 index 0000000..1ce906e --- /dev/null +++ b/scripts/smtbmc/.gitignore @@ -0,0 +1,18 @@ +tracecmp.smt2 +tracecmp.yslog +tracecmp2.smt2 +tracecmp2.yslog +tracecmp3.blif +tracecmp3.cex +tracecmp3.smt2 +tracecmp3.yslog +axicheck.smt2 +axicheck.yslog +axicheck2.smt2 +axicheck2.yslog +notrap_validop.smt2 +notrap_validop.yslog +mulcmp.smt2 +mulcmp.yslog +output.vcd +output.smtc |