summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore248logplain
-rw-r--r--CHANGELOG1845logplain
-rw-r--r--Makefile5337logplain
-rw-r--r--README11571logplain
d---------backends263logplain
-rw-r--r--btor.ys309logplain
d---------frontends96logplain
d---------kernel479logplain
d---------libs169logplain
d---------manual1255logplain
d---------passes382logplain
d---------techlibs135logplain
d---------tests204logplain
-rwxr-xr-xverilog2btor.sh591logplain
-rw-r--r--yosys-config.in2307logplain