summaryrefslogtreecommitdiff
path: root/Test/test15
Commit message (Expand)AuthorAge
* Fixed bug in the cutting of back edges (that manifested itself whenever the f...Gravatar Rustan Leino2013-05-29
* Boogie and Dafny: adjustments to the test suite expected output (and a tempor...Gravatar Unknown2012-09-27
* Updated test 'test15' that would fail with Z3 4.1 (different ordering of elem...Gravatar wuestholz2012-09-12
* Dafny and Boogie: get rid of 'static' fields in parserGravatar Rustan Leino2012-08-21
* Also updated test15Gravatar Rustan Leino2012-08-14
* Boogie: updated test15/Answer (which showed as a permutation of the previous ...Gravatar Rustan Leino2012-06-29
* Dafny/Boogie/BVD: made Dafny plug-in for BVD work againGravatar Rustan Leino2012-06-08
* Update to match the new model printing formatGravatar Michal Moskal2012-04-30
* Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...Gravatar Rustan Leino2011-10-27
* Updated the ANSWER file for 'test15'.Gravatar wuestholz2011-09-27
* Updates to Answer files from recent changesGravatar rustanleino2011-03-01
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* ModelViewer:Gravatar rustanleino2010-11-02
* Updated Answer file to go with the previous check-in.Gravatar rustanleino2010-11-02
* Skip unchagned variables in model dumps. Fix testcaseGravatar MichalMoskal2010-10-14
* Add missing Clone() when storing incarnation maps; update testcase to make th...Gravatar MichalMoskal2010-10-12
* Boogie:Gravatar rustanleino2010-10-12
* Boogie:Gravatar rustanleino2010-09-24
* Boogie:Gravatar rustanleino2010-09-23
* Boogie: Added boolean code expressions (sans well-formedness checks on the in...Gravatar rustanleino2010-08-10
* 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