summaryrefslogtreecommitdiff
path: root/Test/bitvectors
Commit message (Expand)AuthorAge
* Removed old test infrastructure files except forGravatar Dan Liew2014-05-28
* Fix lit test suite when running Boogie under a path that containsGravatar Dan Liew2014-05-27
* Enabled bitvector lit tests.Gravatar Dan Liew2014-05-07
* Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...Gravatar Rustan Leino2011-10-27
* added a new regressionGravatar qadeer2011-07-09
* fixed bug in vcgen for bitvectorsGravatar qadeer2011-07-09
* Updated parser.cs files to pick up the new .frame improvements from boogiepar...Gravatar rustanleino2010-10-26
* Boogie: Fixed test 'bitvectors'.Gravatar wuestholz2010-08-14
* Fix the test to use new name for /z3bv option.Gravatar MichalMoskal2010-08-10
* Boogie: added /z3bv option that overrides the current setting of Z3 options f...Gravatar stobies2010-08-06
* Remove vcc1 testcase that never worked with Boogie2 and is testing obsolete b...Gravatar MichalMoskal2009-12-17
* Fixed some bugs in the generation of bitvector input for Z3.Gravatar rustanleino2009-09-29
* Removed Output files. These are created on a local machine when the tests ar...Gravatar rustanleino2009-08-07
* Initial set of files.Gravatar mikebarnett2009-07-15