| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |