Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix lit test suite when running Boogie under a path that contains | 2014-05-27 | |
* | Enabled prover lit tests. | 2014-05-07 | |
* | Boogie: new syntax for integer division and modulus: use div and mod instead ... | 2012-09-27 | |
* | Add tests for -z3multipleErrors from Shuvendu. | 2011-02-23 |