| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Added /autoTriggers to two tests where it only makes a cosmetic difference |  Clément Pit--Claudel | 2015-08-23 |
| * | Stop pretty-print from emitting deprecated semi-colons. |  qunyanm | 2015-03-05 |
| * | Language change: All functions and methods declared lexically outside any cla... | leino | 2014-12-12 |
| * | Test file whitespace delta | leino | 2014-07-23 |
| * | Set up the same test infrastructure as in Boogie. | wuestholz | 2014-05-29 |
| * | Improve autoReq's interactions with opaque |  Bryan Parno | 2014-01-13 |
| * | A better fix to deal with StaticReceiverTypes affected by autoReq. | Bryan Parno | 2014-01-10 |
| * | :autoReq now works with static functions. | Bryan Parno | 2014-01-08 |
| * | Add autoReq support for matches. | Bryan Parno | 2014-01-08 |
| * | Added support for automatic generation of function requirements via the :auto... | Bryan Parno | 2014-01-08 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |