summaryrefslogtreecommitdiff
path: root/Test/dafny0/Modules0.dfy
Commit message (Expand)AuthorAge
* Fix issue 125. Add the missing case 2 and 3 with refinement and opened imports.Gravatar qunyanm2016-02-05
* Type parameters in method/function signatures are no longer auto-declared. A...Gravatar Rustan Leino2015-07-02
* Stop pretty-print from emitting deprecated semi-colons.Gravatar qunyanm2015-03-05
* Switched use of List(IToken) in UserDefinedType to NameSegment/ExprDotName, s...Gravatar leino2015-01-23
* Language change: All functions and methods declared lexically outside any cla...Gravatar leino2014-12-12
* Add higher-order-functions and some other goodiesGravatar Dan Rosén2014-08-11
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* Dafny: updated test suite to new syntaxGravatar Jason Koenig2012-07-30
* Dafny: fixed some test casesGravatar Jason Koenig2012-06-28
* Dafny: deal with equality-support issues in refinementsGravatar Unknown2012-06-22
* Dafny: allow types to be qualified with the name of the module that declares ...Gravatar Unknown2012-06-11
* Dafny: firmed up the module systemGravatar Rustan Leino2012-01-05
* Dafny: Added "type" declaration (syntax: "type X;"), which introduces an arbi...Gravatar Rustan Leino2011-11-21
* 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-11
* Dafny: support for nested match expressionsGravatar rustanleino2011-03-01
* Dafny:Gravatar rustanleino2010-05-13
* Dafny:Gravatar rustanleino2010-03-16
* Dafny:Gravatar rustanleino2010-03-16