You will need the Visual Studio 2012 SDK installed you can tell this because Visual Studio tells you the project is incompatible and refuses to open it. But if you use a text editor to look at the associated .csproj file, that file has the GUID “82b43b9b-a64c-4715-b499-d71e9ca2bd60” in the “project types” section. And this GUID means “needs the visual studio SDK”.
You probably need to build boogie first. You may find that you need to enable nuget restore (right click the Boogie Solution in the Solution Explorer and click Enable NuGet Package Restore) for the boogie solution, in order to get visual studio to download the correct version of nunit.
Then you need to open the solution Dafny.sln in the source directory, and build it with visual studio. Then build the visual studio extension DafnyExtension.sln. Then in “Extensions and Updates” you can uninstall the DafnyLanguageMode if you already have it. Then you can install Binaries\DafnyLanguageService.vsix to get the VS extension.
Also, on the Dafny VS extension color codes. I think perhaps: yellow means “line changed since last save”; orange means “line changed since the last verify run”; pink means “line currently being verified”; and green means line verified.
Build Boogie
- Get the latest code (its now on github)
- Open
Source/Boogie.sln
in visual studio - Build -> Build
Build Dafny
- Get the latest code (
hg pull
thehg update
) - Open
Source/Dafny.sln
in visual studio - Build -> Build
- Open
Source/DafnyExtension.sln
in visual studio
Build -> Build
You probably need to build boogie first.
Then you need to open the solution
Dafny.sln
in thesource
directory, and build it with visual studio. Then build the visual studio extensionDafnyExtension.sln
. Then in “Extensions and Updates” you can uninstall the DafnyLanguageMode if you already have it. Then you can install Binaries\DafnyLanguageService.vsix to get the VS extension.