| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add /view:<view1, view2> option to filter module exports to be printed. |  qunyanm | 2016-02-11 |
| * | Refactor the error reporting code |  Clément Pit--Claudel | 2015-08-18 |
| * | Minor change | wuestholz | 2014-12-26 |
| * | Ensure that no file is processed twice, even if one command-line file is incl... |  Bryan Parno | 2014-10-27 |
| * | Add support for counting spec/impl/proof lines by supressing, e.g., ghost sta... | Bryan Parno | 2014-10-27 |
| * | Fixed issues with absolute file names in the expected output for the lit tests. | wuestholz | 2014-06-04 |
| * | Members included from different files are now internally marked with an Inclu... | Rustan Leino | 2014-04-19 |
| * | Fix a possible null dereference. | wuestholz | 2013-12-18 |
| * | Add a command-line option to disable include directives. | Bryan Parno | 2013-12-13 |
| * | Add support for the "include" keyword, which accepts a (possibly relative) path | Bryan Parno | 2013-12-10 |
| * | Put all sources under \Source directory |  Rustan Leino | 2012-10-04 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |