summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension/IdentifierTagger.cs
Commit message (Expand)AuthorAge
* In the VS IDE, don't generate hover-text information for auto-generated ident...Gravatar leino2015-11-05
* Fixed latent crash of hovertext/outlining with include.Gravatar Rustan Leino2015-10-02
* Fix a check that occasionally led to an out of bounds exception in the extensionGravatar Bryan Parno2015-09-17
* Discard error messages that refer to a non-nested TokenWrapper.Gravatar Clément Pit--Claudel2015-08-20
* Refactor the error reporting codeGravatar Clément Pit--Claudel2015-08-18
* Fix identifiers in nested match patterns not showing in the IDE bug. RememberGravatar qunyanm2015-06-29
* Added {:auto_generated} trigger, which indicates that a declaration was not e...Gravatar Rustan Leino2015-06-02
* Various resolution fixes and improvementsGravatar leino2014-08-26
* Add higher-order-functions and some other goodiesGravatar Dan Rosén2014-08-11
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-13 22:45:50 +0000