summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension
Commit message (Expand)AuthorAge
* Renamed "parallel" statement to "forall" statement, and made the parentheses ...Gravatar Rustan Leino2013-03-06
* Support for copredicates and prefix predicates in comethods.Gravatar Rustan Leino2012-12-04
* Improved hover text for collapsed code fragmentsGravatar Rustan Leino2012-11-25
* Parse prefix predicates/methodsGravatar Rustan Leino2012-11-24
* Improved Dafny Extension display of destructorsGravatar Rustan Leino2012-11-19
* MergeGravatar Unknown2012-10-30
|\
* | Include BVD in build (to copy it into the Dafny\Binaries directory)Gravatar Unknown2012-10-30
| * Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVDGravatar Rustan Leino2012-10-30
|/
* removed deprecated "allocated" keyword from DafnyExtension syntax highlightingGravatar Rustan Leino2012-10-22
* Added Dafny.exe to the DafnyExtension. This way, a copy of the executable wil...Gravatar Rustan Leino2012-10-22
* renamed "abstract module" to "module facade"Gravatar Rustan Leino2012-10-22
* allow a refinement to introduce "return" statements, at the price of re-verif...Gravatar Rustan Leino2012-10-22
* Pass Boogie's new SoundLoopUnrolling parameterGravatar Rustan Leino2012-10-18
* Updated HintPath's of DLL's in the building of DafnyExtensionGravatar Rustan Leino2012-10-17
* New feature:Gravatar Rustan Leino2012-10-11
* Hover text for iterator declarations (and not for the methods they generate)Gravatar Rustan Leino2012-10-04
* More free antecedents when proving well-formedness of iterator specsGravatar Rustan Leino2012-10-04
* Updates of various .sln and .*proj filesGravatar Rustan Leino2012-10-04
* Put all sources under \Source directoryGravatar Rustan Leino2012-10-04