Is Visual Studio 2010 still supported?

Mar 29, 2014 at 5:52 PM

I tried installing the Dafny VS add-in on a workstation with Visual Studio 2010. When I clicked on the DafnyLanguageService.vsix file, I got an error stating: "the extension manifest is invalid." After some Internet searching, I found this is usually an error if a specific add-in doesn't support an older version of Visual Studio. Thus, my question: is Visual Studio 2010 still supported with the latest versions of Dafny?

Apr 1, 2014 at 9:49 PM
Hi Matt,

no, I'm afraid that VS 2010 is not supported anymore. You will need VS 2012 to install the plugin.

Best regards,