| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Make /autoTriggers:1 to be default. Add /autoTriggers:0 to tests that requires |  qunyanm | 2016-03-28 |
| * | Fix lit headers implicitly relying on bash-style constructs |  Clément Pit--Claudel | 2015-06-08 |
| * | Set up the same test infrastructure as in Boogie. | wuestholz | 2014-05-29 |
| * | Fixed pretty printing of calc statements to use the new(-since-long) format. | Rustan Leino | 2013-12-17 |
| * | Allowing dangling hints in calculations. |  Nadia Polikarpova | 2013-07-31 |
| * | Added explies support to calculations. | Nadia Polikarpova | 2013-03-15 |
| * | New well-formedness checks for calculations (no cascading). | Nadia Polikarpova | 2013-03-05 |
| * | Added tests: parallel calc, better well-formedness checks, calc expression. | Nadia Polikarpova | 2013-02-15 |
| * | Changed calc syntax (custom operators are now written before the hint) | Nadia Polikarpova | 2013-02-08 |
| * | Bugfix in the translation of calc statements (oops), added more resolution an... | Nadia Polikarpova | 2012-09-21 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |