summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-10-14 16:27:42 +0200
committerClifford Wolf <clifford@clifford.at>2015-10-14 16:27:42 +0200
commit7d3a3a317351d0f63f01a134f450bb81ba67fff7 (patch)
tree1c6c92b55e82e1c36bb2750549fc5a86402a2643 /.gitignore
parent3c315721525d40c14b4a29daf9983be474374908 (diff)
Added first help messages for cell types
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 484faf41..93e28cd6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,6 +18,7 @@
/yosys-abc
/yosys-abc.exe
/yosys-config
+/yosys-smtbmc
/yosys-filterlib
/yosys-filterlib.exe
/kernel/version_*.cc