summaryrefslogtreecommitdiff
path: root/Source/Dafny/DafnyMain.cs
Commit message (Expand)AuthorAge
* Ensure that no file is processed twice, even if one command-line file is incl...Gravatar Bryan Parno2014-10-27
* Add support for counting spec/impl/proof lines by supressing, e.g., ghost sta...Gravatar Bryan Parno2014-10-27
* Fixed issues with absolute file names in the expected output for the lit tests.Gravatar wuestholz2014-06-04
* Members included from different files are now internally marked with an Inclu...Gravatar Rustan Leino2014-04-19
* Fix a possible null dereference.Gravatar wuestholz2013-12-18
* Add a command-line option to disable include directives.Gravatar Bryan Parno2013-12-13
* Add support for the "include" keyword, which accepts a (possibly relative) pathGravatar Bryan Parno2013-12-10
* Put all sources under \Source directoryGravatar Rustan Leino2012-10-04