summaryrefslogtreecommitdiff
path: root/Test/dafny0/NoTypeArgs.dfy
Commit message (Expand)AuthorAge
* 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
* fixed and improved scheme for inferring type parametersGravatar Rustan Leino2012-10-19
* Dafny: allow various forms of leaving off type arguments in declarationsGravatar Rustan Leino2012-02-16