Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Dafny: fully qualify (with module names) names of types in the translation in... | 2012-01-05 | |
* | Dafny: make /help also print the Boogie command-line options | 2012-01-04 | |
* | Dafny: call C# compiler directly from inside Dafny, and optionally produce a ... | 2011-11-22 | |
* | Dafny: fixed bad Code Contracts | 2011-11-16 | |
* | Boogie (and Dafny, with effects also on SscBoogie): I refactored CommandLine... | 2011-11-15 |