| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix issue 122. Only generate autoTriggers for QuantifierExpr that are not |  qunyanm | 2016-01-25 |
| * | Removed Contract.Requires from method overrides (preconditions of overrides a... | Rustan Leino | 2016-01-06 |
| * | Fix issue 103. Emit the quantifiers for ForallStmt before AutoTrigger so that | qunyanm | 2015-11-25 |
| * | Trivial code cleanup |  Clément Pit--Claudel | 2015-08-23 |
| * | Make `old` a special case for trigger generation. | Clément Pit--Claudel | 2015-08-21 |
| * | Generate triggers for nested quantifiers as well | Clément Pit--Claudel | 2015-08-19 |
| * | Small cleanups, fixes, and refactorings | Clément Pit--Claudel | 2015-08-18 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |