Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Did some refactoring of the Dafny drivers. | 2013-06-03 | ||
| | ||||
* | Did some refactoring of the Dafny drivers. | 2013-06-03 | ||
| | ||||
* | Did some refactoring of the Dafny drivers. | 2013-06-03 | ||
| | ||||
* | Did some refactoring of the Dafny drivers. | 2013-06-03 | ||
| | ||||
* | Did some refactoring of the Dafny drivers. | 2013-06-03 | ||
| | ||||
* | Did some refactoring of the Dafny drivers. | 2013-06-03 | ||
| | ||||
* | Changed the Dafny driver to report traces for time outs and out of memory. | 2013-05-30 | ||
| | ||||
* | DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., ↵ | 2013-05-23 | ||
| | | | | compilation). | |||
* | Pass Boogie's new SoundLoopUnrolling parameter | 2012-10-18 | ||
| | ||||
* | Put all sources under \Source directory | 2012-10-04 | ||