X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=.gitignore;h=76f53cd06afcfe4122597371b5e51c60f4769754;hb=2cbcd6224c0293a3abdf00f51c515fc556d9d3e1;hp=48ce458c72a577c89b387583a744618112f9efaf;hpb=6a809a1bb15327dfa0134b872455d47b0ebef73c;p=yosys.git

diff --git a/.gitignore b/.gitignore
index 48ce458c7..76f53cd06 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
 *.gch
 *.gcda
 *.gcno
+__pycache__
 /.cproject
 /.project
 /.settings
@@ -24,8 +25,12 @@
 /yosys-abc.exe
 /yosys-config
 /yosys-smtbmc
+/yosys-smtbmc.exe
+/yosys-smtbmc-script.py
 /yosys-filterlib
 /yosys-filterlib.exe
+/kernel/*.pyh
+/kernel/python_wrappers.cc
 /kernel/version_*.cc
 /share
 /yosys-win32-mxebin-*