summaryrefslogtreecommitdiff
path: root/Test/dafny1/SchorrWaite-stages.dfy
Commit message (Expand)AuthorAge
* Reflect cleaner syntax in some test programsGravatar leino2015-03-31
* Stop pretty-print from emitting deprecated semi-colons.Gravatar qunyanm2015-03-05
* Change behavior of 'decreases *', which can be applied to loops and methods. ...Gravatar Rustan Leino2014-08-19
* Clarified a refinement point in a test fileGravatar leino2014-06-16
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* renamed "abstract module" to "module facade"Gravatar Rustan Leino2012-10-22
* Dafny: removed allocated, changed semantics of freshGravatar Jason Koenig2012-07-29
* Dafny: fixed some test casesGravatar Jason Koenig2012-06-28