summaryrefslogtreecommitdiff
path: root/Source/Dafny/Util.cs
Commit message (Expand)AuthorAge
* Dafny: fixed ghost checking for labeled (i.e. named) expressions, changed to ...Gravatar Jason Koenig2012-07-10
* Dafny: Implemented abstract modulesGravatar Jason Koenig2012-06-26