Fix width detection of memory access with bit slice, fixes #974

[yosys.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 48ce458c72a577c89b387583a744618112f9efaf..e24f7975af2e30c9ef520e0eef0d8dea33bd83b6 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -24,6 +24,8 @@
 /yosys-abc.exe
 /yosys-config
 /yosys-smtbmc
+/yosys-smtbmc.exe
+/yosys-smtbmc-script.py
 /yosys-filterlib
 /yosys-filterlib.exe
 /kernel/version_*.cc