summaryrefslogtreecommitdiff
path: root/Test/dafny0/Modules2.dfy
Commit message (Expand)AuthorAge
* Stop pretty-print from emitting deprecated semi-colons.Gravatar qunyanm2015-03-05
* Language change: All functions and methods declared lexically outside any cla...Gravatar leino2014-12-12
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* Dafny: support opening modules into the local scopeGravatar Jason Koenig2012-07-30