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