Fix multiclock for btor2 witness

[yosys.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index e24f7975af2e30c9ef520e0eef0d8dea33bd83b6..0460c7c13394106fda107495ac1e3449e073308c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
 *.gch
 *.gcda
 *.gcno
+__pycache__
 /.cproject
 /.project
 /.settings
@@ -20,6 +21,7 @@
 /yosys
 /yosys.exe
 /yosys.js
+/yosys.wasm
 /yosys-abc
 /yosys-abc.exe
 /yosys-config
@@ -28,6 +30,8 @@
 /yosys-smtbmc-script.py
 /yosys-filterlib
 /yosys-filterlib.exe
+/kernel/*.pyh
+/kernel/python_wrappers.cc
 /kernel/version_*.cc
 /share
 /yosys-win32-mxebin-*