Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Removed old test infrastructure files except for | 2014-05-28 | |
| | | | | | | | | | ./AbsHoudini/ ./doomed/ ./z3api/ ./test17/ because their conversion to lit incomplete. | ||
* | Fix lit test suite when running Boogie under a path that contains | 2014-05-27 | |
| | | | | spaces. | ||
* | Enabled bitvector lit tests. | 2014-05-07 | |
| | |||
* | Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ↵ | 2011-10-27 | |
| | | | | The :forceBvZ3Native, :forceBvInt, and :bvint attributes were also eliminated. | ||
* | added a new regression | 2011-07-09 | |
| | |||
* | fixed bug in vcgen for bitvectors | 2011-07-09 | |
| | |||
* | Updated parser.cs files to pick up the new .frame improvements from ↵ | 2010-10-26 | |
| | | | | boogiepartners | ||
* | Boogie: Fixed test 'bitvectors'. | 2010-08-14 | |
| | |||
* | Fix the test to use new name for /z3bv option. | 2010-08-10 | |
| | |||
* | Boogie: added /z3bv option that overrides the current setting of Z3 options ↵ | 2010-08-06 | |
| | | | | for better performance on VCs that are heavy on bitvector arithmetic | ||
* | Remove vcc1 testcase that never worked with Boogie2 and is testing obsolete ↵ | 2009-12-17 | |
| | | | | bvInt handling in Boogie | ||
* | Fixed some bugs in the generation of bitvector input for Z3. | 2009-09-29 | |
| | | | | Deleted/ignored some binaries in the Binaries directory. | ||
* | Removed Output files. These are created on a local machine when the tests ↵ | 2009-08-07 | |
| | | | | are run. | ||
* | Initial set of files. | 2009-07-15 | |