Visual Studio可以支持哪些版本的Dafny IDE插件？

Question

Visual Studio可以支持哪些版本的Dafny 1.9.7 IDE插件？

特别是我对VS 2015社区版感兴趣，因为我希望我的学生能够免费使用它。

Answer 1

我查看了文件source.extension.vsixmanifest。我在哪里看到以下内容：

<Installation InstalledByMsi="false">
    <InstallationTarget Version="[11.0,15.0)" Id="Microsoft.VisualStudio.Pro" />
    <InstallationTarget Version="[14.0,15.0)" Id="Microsoft.VisualStudio.Community" />
</Installation>

咨询the documentation我将此读作Visual Studio社区最低版本（包括14.0），最高版本独家15.0。我理解这意味着它支持任何版本的visual studio 14.我相信14是Visual Studio 2015的内部版本号。

将所有这些放在一起我认为这意味着Dafny扩展应安装在VisualStudio Community 2015上。

Answer 2

我尝试在几个不同版本的Visual Studio上安装Dafny扩展（Dafny版本1.9.7）。这是在Windows 7上。这是我学到的东西

• VS 2012 Express for Desktop：否。
• VS 2012专业人士：是的。
• VS 2012 Premium：是（*）。
• VS 2013社区：是（*）。
• VS 2015社区：是（*）。

在标有（*）的每个案例中，我都遇到了第一次尝试解析新Dafny文件时扩展程序似乎崩溃的问题。但是，关闭VS并重新启动它似乎可以解决问题。