summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension/IdentifierTagger.cs
Commit message (Expand)AuthorAge
* Refactoring: renamed VarDecl to LocalVariable, and renamed VarDeclStmt.Lhss t...Gravatar Rustan Leino2014-03-17
* Fixed bug in DafnyExtension (hover text computation would crash if Translator...Gravatar Rustan Leino2014-02-06
* Mark auto-generated expressions (in "decreases" clauses) and don't use these ...Gravatar Rustan Leino2014-02-04
* Manually adjusted mergeGravatar Rustan Leino2014-01-08
* Compute default decreases clauses in Resolver instead of in the Translator.Gravatar Rustan Leino2013-12-19
* DafnyExtension: Added support for displaying values from the model as hover t...Gravatar wuestholz2013-07-30
* 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