summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension/IdentifierTagger.cs
Commit message (Expand)AuthorAge
* DafnyExtension: Added support for selecting errors and showing the model in BVD.Gravatar wuestholz2013-07-15
* DafnyExtension: Added support for collecting additional information during re...Gravatar wuestholz2013-07-15
* DafnyExtension: Made it display verification errors incrementally.Gravatar wuestholz2013-06-20
* DafnyExtension: Did some refactoring.Gravatar wuestholz2013-06-11
* In Visual Studio interface, highlight variable definitions of let expressionsGravatar Rustan Leino2013-05-12
* 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 Dafny Extension display of destructorsGravatar Rustan Leino2012-11-19
* Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVDGravatar Rustan Leino2012-10-30
* 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
* Put all sources under \Source directoryGravatar Rustan Leino2012-10-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 10:48:46 +0000