Fix multiclock for btor2 witness

[yosys.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 90550863e946daa673873b0109243606ebee4890..0460c7c13394106fda107495ac1e3449e073308c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,10 @@
 *.o
 *.d
 .*.swp
+*.gch
+*.gcda
+*.gcno
+__pycache__
 /.cproject
 /.project
 /.settings
@@ -9,15 +13,31 @@
 /qtcreator.config
 /qtcreator.creator
 /qtcreator.creator.user
+/coverage.info
+/coverage_html
 /Makefile.conf
 /abc
+/viz.js
 /yosys
 /yosys.exe
-/yosys.html
+/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
-/yosys-filterlib.html
+/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