Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |