Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ... | 2011-10-27 | |
* | 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 boogiepar... | 2010-10-26 | |
* | 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 f... | 2010-08-06 | |
* | Remove vcc1 testcase that never worked with Boogie2 and is testing obsolete b... | 2009-12-17 | |
* | Fixed some bugs in the generation of bitvector input for Z3. | 2009-09-29 | |
* | Removed Output files. These are created on a local machine when the tests ar... | 2009-08-07 | |
* | Initial set of files. | 2009-07-15 |