summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension/DafnyDriver.cs
Commit message (Expand)AuthorAge
...
* DafnyExtension: Worked on integrating the verification result caching.Gravatar wuestholz2013-06-06
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-04
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Changed the Dafny driver to report traces for time outs and out of memory.Gravatar wuestholz2013-05-30
* DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., c...Gravatar wuestholz2013-05-23
* Pass Boogie's new SoundLoopUnrolling parameterGravatar Rustan Leino2012-10-18
* Put all sources under \Source directoryGravatar Rustan Leino2012-10-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-31 20:58:31 +0000