summaryrefslogtreecommitdiff
path: root/Test/dafny1/MoreInduction.dfy
Commit message (Expand)AuthorAge
* Suppress many warnings in the test suite.Gravatar Clément Pit--Claudel2015-08-28
* Renamed "ghost method" to "lemma" whenever appropriate (which is most of the ...Gravatar Rustan Leino2015-07-28
* Stop pretty-print from emitting deprecated semi-colons.Gravatar qunyanm2015-03-05
* New logical encoding of types with Is and IsAllocGravatar Dan Rosén2014-07-07
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* Added some Dafny and Boogie test cases, including Turing's factorial program,...Gravatar Rustan Leino2011-11-03
* Dafny: added Flatten example to test suiteGravatar Rustan Leino2011-09-11