Commit message (Expand) | Author | Age | |
---|---|---|---|
* | New upstream version 0.7+20180830git0b7a184 | Ruben Undheim | 2018-08-30 |
* | Squashed commit of the following: | Ruben Undheim | 2016-09-23 |
* | Another block of spelling fixes | Larry Doolittle | 2015-08-14 |
* | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 |
* | Removed "techmap -share_map" (use "-map +/filename" instead) | Clifford Wolf | 2015-04-08 |
* | Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor | Ahmed Irfan | 2014-09-22 |
* | modified btor synthesis script for correct use of splice command. | Ahmed Irfan | 2014-02-12 |
* | disabling splice command in the script | Ahmed Irfan | 2014-02-11 |
* | added concat and slice cell translation | Ahmed Irfan | 2014-02-11 |
* | Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem) | Clifford Wolf | 2014-02-03 |
* | Use techmap -share_map in btor scripts | Clifford Wolf | 2014-01-24 |
* | Moved btor scripts to backends/btor/ | Clifford Wolf | 2014-01-24 |