summaryrefslogtreecommitdiff
path: root/Test/dafny1/SchorrWaite.dfy
Commit message (Expand)AuthorAge
* Fix some tests by locally disabling auto triggersGravatar Clément Pit--Claudel2015-08-28
* Reflect cleaner syntax in some test programsGravatar leino2015-03-31
* Stop pretty-print from emitting deprecated semi-colons.Gravatar qunyanm2015-03-05
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* Dafny: removed allocated, changed semantics of freshGravatar Jason Koenig2012-07-29
* Dafny: permanently changed the syntax of "datatype" declarations to what prev...Gravatar Rustan Leino2011-05-27
* Dafny: retired the "call" keywordGravatar Rustan Leino2011-05-26
* Dafny:Gravatar Rustan Leino2011-05-21
* Dafny:Gravatar rustanleino2011-02-17
* Boogie:Gravatar rustanleino2010-06-22
* Dafny: Added two additional heuristics for guessing missing loop decreases c...Gravatar rustanleino2010-06-11
* Boogie:Gravatar rustanleino2010-06-08