| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Moved resolution of BinaryExpr.ResolveOp until the CheckTypeInference phase, ... |  Rustan Leino | 2013-04-01 |
| * | renamed "abstract module" to "module facade" |  Rustan Leino | 2012-10-22 |
| * | improved and fixed compilation and resolution of assign-such-that statements | Rustan Leino | 2012-10-05 |
| * | Dafny: updated test suite to new syntax | Jason Koenig | 2012-07-30 |
| * | Dafny: restored soundness for refinement by disallowing certain updates and m... | Jason Koenig | 2012-07-11 |
| * | Dafny: reinstated autocontracts | Jason Koenig | 2012-07-02 |
| * | Dafny: fixed a couple of compiler bugs |  Unknown | 2012-06-14 |
| * | Dafny: support assign-such-that in var declarations in refinements | Unknown | 2012-03-15 |
| * | Dafny: added StoreAndRetrieve refinement example | Unknown | 2012-03-15 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |