summaryrefslogtreecommitdiff
path: root/Test/dafny0/PredExpr.dfy
Commit message (Expand)AuthorAge
* Dafny: added let expressions (syntax: "var x := E0; E1")Gravatar Rustan Leino2011-11-14
* Dafny: allow assert/assume expressions in more placesGravatar Rustan Leino2011-11-09
* Dafny: added assert/assume expressionsGravatar Rustan Leino2011-11-09