| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Update test output after Nikolaj's enhancement in Z3. |  Valentin Wüstholz | 2015-11-19 |
| * | Add a test. | Valentin Wüstholz | 2015-11-19 |
| * | Minor changes | Valentin Wüstholz | 2015-11-19 |
| * | Improve experimental support for optimization (requires Z3 changeset 5948013b... | Valentin Wüstholz | 2015-11-18 |
| * | Add experimental support for optimization (requires Z3 build after changeset ... | Valentin Wüstholz | 2015-11-18 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |