Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Delete btor.ys | Ahmed Irfan | 2015-04-03 | 1 | -18/+0 |
* | modified btor synthesis script for correct use of splice command. | Ahmed Irfan | 2014-02-12 | 1 | -3/+4 |
* | disabling splice command in the script | Ahmed Irfan | 2014-02-11 | 1 | -1/+3 |
* | added concat and slice cell translation | Ahmed Irfan | 2014-02-11 | 1 | -2/+2 |
* | Use techmap -share_map in btor scripts | Clifford Wolf | 2014-01-24 | 1 | -1/+1 |
* | Moved btor scripts to backends/btor/ | Clifford Wolf | 2014-01-24 | 1 | -0/+15 |