Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | TravisCI build icon should only show build status for master branch, not | 2015-12-02 | |
| | | | | all branches. | ||
* | Update test output for Z3 4.4.1. | 2015-12-01 | |
| | |||
* | Try to add build status icon for the Windows build. | 2015-04-28 | |
| | |||
* | Note that CVC4 support is experimental. | 2015-04-05 | |
| | |||
* | Fix typo in README.md spotted by Jeroen Ketema. | 2015-04-05 | |
| | |||
* | Add TravisCI build status icon to README.md | 2015-04-03 | |
| | |||
* | Add initial README.md | 2015-04-03 | |