| Commit message (Collapse) | 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 ↵ | Valentin Wüstholz | 2015-11-18 |
| | | | | | 5948013b1b04d8529bce366c0c7b87e1d88a1827 or later). | ||
| * | Add experimental support for optimization (requires Z3 build after changeset ↵ | Valentin Wüstholz | 2015-11-18 |
| 9cba63c31f6f1466dd4ef442bb840d1ab84539c7). | |||
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |