summaryrefslogtreecommitdiff
path: root/Util/VS2010/DafnyExtension/DafnyExtension/ResolverTagger.cs
Commit message (Expand)AuthorAge
* Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...Gravatar Rustan Leino2013-03-05
* DafnyExtension: improved concurrency behaviorGravatar Unknown2012-08-17
* DafnyExtension: toward some fixesGravatar Unknown2012-08-17
* Dafny: added Statement.SubExpressions getterGravatar Unknown2012-08-15
* DafnyExtension: improvementsGravatar Rustan Leino2012-08-08
* Dafny: the DafnyExtension mode for Visual Studio now calls the verifier and v...Gravatar Unknown2012-08-08
* Dafny VS Extension: edited to make it build with new AST types, fixed some bu...Gravatar Unknown2012-08-02
* Dafny: Record source positions of start/end curly braces for declaration con...Gravatar rustanleino2010-10-27