aboutsummaryrefslogtreecommitdiffstats
path: root/backends/btor/README
Commit message (Collapse)AuthorAgeFilesLines
* Fixed trailing whitespacesClifford Wolf2015-07-021-1/+1
|
* Update READMEAhmed Irfan2015-04-031-1/+1
| | | corrected url
* Update READMEAhmed Irfan2015-04-031-1/+1
| | | pmux cell is implemented
* Added BTOR backend README fileClifford Wolf2014-02-051-0/+23