summaryrefslogtreecommitdiff
path: root/Util/VS2010/DafnyExtension/DafnyExtension/DafnyExtension.csproj
Commit message (Expand)AuthorAge
* Put all sources under \Source directoryGravatar Rustan Leino2012-10-04
* DafnyExtension: make it usable also in Visual Studio 2012Gravatar Unknown2012-09-27
* Dafny: added Statement.SubExpressions getterGravatar Unknown2012-08-15
* DafnyExtension: improvementsGravatar Rustan Leino2012-08-08
* DafnyExtension: fixed build issues; added support for some refinement featuresGravatar 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
* DafnyExtension: fix up compilation (once again)Gravatar Rustan Leino2011-11-22
* DafnyExtension: fixed build problemsGravatar Rustan Leino2011-11-15
* Dafny: implemented a more precise scheme for allowing use of a function's rep...Gravatar rustanleino2011-02-03
* Dafny: Record source positions of start/end curly braces for declaration con...Gravatar rustanleino2010-10-27
* New Dafny mode for Visual Studio 2010, using the VS2010 extensions.Gravatar rustanleino2010-10-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 06:30:48 +0000