summaryrefslogtreecommitdiff
path: root/backends/btor/README
Commit message (Collapse)AuthorAge
* New upstream version 0.7+20180830git0b7a184Ruben Undheim2018-08-30
|
* Fixed trailing whitespacesClifford Wolf2015-07-02
|
* Update READMEAhmed Irfan2015-04-03
| | | corrected url
* Update READMEAhmed Irfan2015-04-03
| | | pmux cell is implemented
* Added BTOR backend README fileClifford Wolf2014-02-05