summaryrefslogtreecommitdiff
path: root/Source/Dafny/Util.cs
Commit message (Expand)AuthorAge
* Allow underscores in numeric literals (and in field/destructor names that are...Gravatar leino2014-10-23
* Add char literals.Gravatar leino2014-10-20
* Added types "char" and "string" (the latter being a synonym for "seq<char>").Gravatar leino2014-10-20
* Add higher-order-functions and some other goodiesGravatar Dan Rosén2014-08-11
* New logical encoding of types with Is and IsAllocGravatar Dan Rosén2014-07-07
* Put all sources under \Source directoryGravatar Rustan Leino2012-10-04