Merge pull request #3210 from rqou/json-signed
[yosys.git] / .gitignore
index cb6073696345a9c1fe5a586527405f62b01fdc7b..0460c7c13394106fda107495ac1e3449e073308c 100644 (file)
@@ -1,4 +1,43 @@
 *.o
 *.d
-filterlib
-yosys
+.*.swp
+*.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