summaryrefslogtreecommitdiff
path: root/Test/dafny0/Simple.dfy.expect
Commit message (Expand)AuthorAge
* Parsing and pretty printing of the new "existential guards" of the two kinds ...Gravatar leino2015-10-03
* Added 'protected' keyword (syntax)Gravatar leino2015-03-07
* Stop pretty-print from emitting deprecated semi-colons.Gravatar qunyanm2015-03-05
* Fixed issues with absolute file names in the expected output for the lit tests.Gravatar wuestholz2014-06-04
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29