summaryrefslogtreecommitdiff
path: root/Test/test15
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 16:39:16 +0000