Fix multiclock for btor2 witness

[yosys.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 0ea495e7b41d3927c91ba197851f9d8610703db8..0460c7c13394106fda107495ac1e3449e073308c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,17 +1,43 @@
 *.o
 *.d
 .*.swp
-.cproject
-.project
-qtcreator.files
-qtcreator.includes
-qtcreator.config
-qtcreator.creator
-qtcreator.creator.user
-Makefile.conf
-abc
-yosys
-yosys-abc
-yosys-config
-yosys-filterlib
-yosys-svgviewer
+*.gch
+*.gcda
+*.gcno
+__pycache__
+/.cproject
+/.project
+/.settings
+/qtcreator.files
+/qtcreator.includes
+/qtcreator.config
+/qtcreator.creator
+/qtcreator.creator.user
+/coverage.info
+/coverage_html
+/Makefile.conf
+/abc
+/viz.js
+/yosys
+/yosys.exe
+/yosys.js
+/yosys.wasm
+/yosys-abc
+/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-*
+/yosys-win32-vcxsrc-*
+/yosysjs-*
+/libyosys.so
+/tests/unit/bintest/
+/tests/unit/objtest/
+/tests/ystests