*.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.exe
/yosys-config
/yosys-smtbmc
+/yosys-smtbmc.exe
+/yosys-smtbmc-script.py
/yosys-filterlib
/yosys-filterlib.exe
/kernel/version_*.cc
/libyosys.so
/tests/unit/bintest/
/tests/unit/objtest/
+/tests/ystests