Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Dafny: allow parallel statements with an empty list of bound variables | 2012-01-17 | |
* | Dafny: parallel statements: | 2012-01-17 | |
* | Dafny induction: | 2011-10-29 | |
* | Dafny: implemented compilation of parallel statements | 2011-10-25 | |
* | Dafny: check subrange restriction in parallel Assign statement | 2011-10-24 | |
* | Dafny: continued translation of "parallel" statements (Assign and Proof forms... | 2011-10-24 | |
* | Dafny: changed triggers (which are never really used, anyhow) from having a s... | 2011-10-21 |