Dafny IDEプラグインをサポートするVisual Studioのバージョンは？

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の拡張機能はVisual Studio Community 2015

Answer 2

いくつかの異なるバージョンのVisual StudioにDafny拡張機能（バージョン1.9.7のDafny）をインストールしようとしました。第

VS 2012のプロフェッショナル：はい。これは、ここで私は

• デスクトップ用のVS 2012のExpressの
  を学んだことであるWindows 7の上にありました。
• VS 2012プレミアム：はい（*）。
• VS 2013コミュニティ：はい（*）。
• VS 2015コミュニティ：はい（*）。

（*）が付いている各ケースでは、初めて新しいDafnyファイルを解析しようとしたときに拡張機能がクラッシュするようになっていた問題がありました。しかし、VSをシャットダウンして再起動すると、問題を解決するように見えました。