summaryrefslogtreecommitdiff
path: root/Source/DafnyDriver
Commit message (Expand)AuthorAge
...
* 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
* Minor change to a project fileGravatar wuestholz2013-05-21
* Minor change to a project fileGravatar wuestholz2013-05-21
* Minor change to a project fileGravatar wuestholz2013-05-21
* Minor change to a project fileGravatar wuestholz2013-05-21
* Updated several project files.Gravatar wuestholz2013-05-21
* Suppress compiler warnings about unreferenced labels (I hope all .NET platfor...Gravatar Rustan Leino2013-03-26
* Added Equals method on TypeGravatar Rustan Leino2013-02-20
* Proper support for inlining codatatype equalitiesGravatar Rustan Leino2013-01-18
* Include BVD in build (to copy it into the Dafny\Binaries directory)Gravatar Unknown2012-10-30
* Pass Boogie's new SoundLoopUnrolling parameterGravatar Rustan Leino2012-10-18
* Fixed some build/migration issuesGravatar Rustan Leino2012-10-04
* Put all sources under \Source directoryGravatar Rustan Leino2012-10-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-22 19:45:08 +0000