summaryrefslogtreecommitdiff
path: root/backends/btor/verilog2btor.sh
Commit message (Expand)AuthorAge
* New upstream version 0.7+20180830git0b7a184Ruben Undheim2018-08-30
* Squashed commit of the following:Ruben Undheim2016-09-23
* Another block of spelling fixesLarry Doolittle2015-08-14
* Fixed trailing whitespacesClifford Wolf2015-07-02
* Removed "techmap -share_map" (use "-map +/filename" instead)Clifford Wolf2015-04-08
* Merge branch 'master' of https://github.com/cliffordwolf/yosys into btorAhmed Irfan2014-09-22
* modified btor synthesis script for correct use of splice command.Ahmed Irfan2014-02-12
* disabling splice command in the scriptAhmed Irfan2014-02-11
* added concat and slice cell translationAhmed Irfan2014-02-11
* Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)Clifford Wolf2014-02-03
* Use techmap -share_map in btor scriptsClifford Wolf2014-01-24
* Moved btor scripts to backends/btor/Clifford Wolf2014-01-24