1

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

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

4

2 回答 2

2

我查看了文件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>

查阅文档，我将其阅读为 Visual Studio Community 最低版本，包括 14.0，最高版本为 15.0。我理解这意味着它支持任何版本的 Visual Studio 14。我相信 14 是 Visual Studio 2015 的内部版本号。

综上所述，我认为这意味着 Dafny 扩展应该安装在 VisualStudio Community 2015 上。

于 2016-08-08T15:46:55.860 回答
0

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

  • VS 2012 Express for Desktop：否。
  • VS 2012 专业版：是的。
  • VS 2012 高级版：是 (*)。
  • VS 2013 社区：是 (*)。
  • VS 2015 社区：是 (*)。

在每个标有 (*) 的情况下，我都遇到了扩展在第一次尝试解析新的 Dafny 文件时出现崩溃的问题。但是，关闭 VS 并重新启动它似乎可以解决问题。

于 2016-09-16T20:03:06.553 回答