| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge |  Jason Koenig | 2012-06-13 |
| |\ | |||
| * | | Dafny: allow parallel assignments to assign to the same LHS if the RHS match. | Jason Koenig | 2012-06-13 |
| |/ | |||
| * | Dafny: Added Euclidean regression test (Verifier only). | Jason Koenig | 2011-07-08 |
| * | Dafny: translate call statements with fancy LHSs |  Rustan Leino | 2011-05-31 |
| * | Dafny: Translate general LHSs for var and := (not yet for call, no compilatio... | Rustan Leino | 2011-05-30 |
| * | Dafny: | Rustan Leino | 2011-05-27 |
| * | Dafny: added chaining operators | Rustan Leino | 2011-05-27 |
| * | Dafny: retired the "call" keyword | Rustan Leino | 2011-05-26 |
| * | Dafny: allow class names to be used when referring to static functions (and, ... | Rustan Leino | 2011-05-21 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |