summaryrefslogtreecommitdiff
path: root/Test/test15
Commit message (Expand)AuthorAge
* 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