summaryrefslogtreecommitdiff
path: root/README.md
Commit message (Expand)AuthorAge
* TravisCI build icon should only show build status for master branch, notGravatar Dan Liew2015-12-02
* Update test output for Z3 4.4.1.Gravatar Valentin Wüstholz2015-12-01
* Try to add build status icon for the Windows build.Gravatar Dan Liew2015-04-28
* Note that CVC4 support is experimental.Gravatar Dan Liew2015-04-05
* Fix typo in README.md spotted by Jeroen Ketema.Gravatar Dan Liew2015-04-05
* Add TravisCI build status icon to README.mdGravatar Dan Liew2015-04-03
* Add initial README.mdGravatar Dan Liew2015-04-03