summaryrefslogtreecommitdiff
path: root/backends/btor
ModeNameSize
-rw-r--r--Makefile.inc31logplain
-rw-r--r--README550logplain
-rw-r--r--btor.cc36392logplain
-rw-r--r--btor.ys382logplain
-rwxr-xr-xverilog2btor.sh604logplain