X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=.gitignore;h=76f53cd06afcfe4122597371b5e51c60f4769754;hb=f91705cf8a5734e48217f3850af58508fcfc81e0;hp=2b6f032e410483887c2f1f350bdd84d9b6477c9e;hpb=bdf6b2b19ab2206f5957ad5b2ec582c2730d45ee;p=yosys.git

diff --git a/.gitignore b/.gitignore
index 2b6f032e4..76f53cd06 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,10 @@
 *.o
 *.d
 .*.swp
+*.gch
+*.gcda
+*.gcno
+__pycache__
 /.cproject
 /.project
 /.settings
@@ -9,6 +13,8 @@
 /qtcreator.config
 /qtcreator.creator
 /qtcreator.creator.user
+/coverage.info
+/coverage_html
 /Makefile.conf
 /abc
 /viz.js
@@ -18,10 +24,19 @@
 /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