| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Add links to new documentation (not yet complete). |  Dan Liew | 2016-04-20 |
| | | |||
| * | TravisCI build icon should only show build status for master branch, not | Dan Liew | 2015-12-02 |
| | | | | | all branches. | ||
| * | Update test output for Z3 4.4.1. |  Valentin Wüstholz | 2015-12-01 |
| | | |||
| * | Try to add build status icon for the Windows build. | Dan Liew | 2015-04-28 |
| | | |||
| * | Note that CVC4 support is experimental. | Dan Liew | 2015-04-05 |
| | | |||
| * | Fix typo in README.md spotted by Jeroen Ketema. | Dan Liew | 2015-04-05 |
| | | |||
| * | Add TravisCI build status icon to README.md | Dan Liew | 2015-04-03 |
| | | |||
| * | Add initial README.md | Dan Liew | 2015-04-03 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |