aboutsummaryrefslogtreecommitdiffstats
path: root/backends/btor/verilog2btor.sh
Commit message (Expand)AuthorAgeFilesLines
* Use techmap -share_map in btor scriptsClifford Wolf2014-01-241-1/+1
* Moved btor scripts to backends/btor/Clifford Wolf2014-01-241-0/+35