*.o
*.d
.*.swp
+*.gch
+*.gcda
+*.gcno
/.cproject
/.project
/.settings
/qtcreator.config
/qtcreator.creator
/qtcreator.creator.user
+/coverage.info
+/coverage_html
/Makefile.conf
/abc
/viz.js
/yosys-abc
/yosys-abc.exe
/yosys-config
+/yosys-smtbmc
+/yosys-smtbmc.exe
+/yosys-smtbmc-script.py
/yosys-filterlib
/yosys-filterlib.exe
/kernel/version_*.cc
/share
-/libyosys
/yosys-win32-mxebin-*
/yosys-win32-vcxsrc-*
+/yosysjs-*
+/libyosys.so
+/tests/unit/bintest/
+/tests/unit/objtest/
+/tests/ystests