| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Dafny: allow parallel statements with an empty list of bound variables |  Rustan Leino | 2012-01-17 |
| * | 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 |
| * | Dafny: check subrange restriction in parallel Assign statement | Rustan Leino | 2011-10-24 |
| * | Dafny: continued translation of "parallel" statements (Assign and Proof forms... | Rustan Leino | 2011-10-24 |
| * | Dafny: changed triggers (which are never really used, anyhow) from having a s... | Rustan Leino | 2011-10-21 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |