| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Changed computation of ghosts until pass 2 of resolution. |  leino | 2015-09-28 |
| * | Preliminary refactoring of ghost-statement computations to after type checking | leino | 2015-09-20 |
| * | Set up the same test infrastructure as in Boogie. | wuestholz | 2014-05-29 |
| * | The "choose" statement, hacky and specialized as it was, is now gone. Use th... | Rustan Leino | 2013-03-27 |
| * | Disallow allocations in ghost contexts | Rustan Leino | 2013-03-06 |
| * | Renamed "parallel" statement to "forall" statement, and made the parentheses ... | Rustan Leino | 2013-03-06 |
| * | Dafny: Changed the semantics of the assign-such-that statement "x :| P;" to c... |  Unknown | 2012-06-13 |
| * | Dafny: fixed lack of assign-such-that restriction in parallel statement | Unknown | 2012-03-15 |
| * | Dafny: parallel statements: |  Rustan Leino | 2012-01-17 |
| * | Dafny induction: | Rustan Leino | 2011-10-29 |
| * | Dafny: implemented compilation of parallel statements | Rustan Leino | 2011-10-25 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |