Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added /compile:3, which compiles in memory and then executes the program (if ... | Rustan Leino | 2014-01-13 |
* | Produce "tail recursive" hover text in the IDE only for methods that are recu... | Rustan Leino | 2013-12-13 |
* | Add a command-line option to disable include directives. | Bryan Parno | 2013-12-13 |
* | Fixed printing of Dafny version number. | Rustan Leino | 2013-01-23 |
* | Put all sources under \Source directory | Rustan Leino | 2012-10-04 |