ocaml - Frama-C Windowsバイナリは利用できますか？

Question

Frama-Cオープンソースプロジェクトで実験をしたいと思っており、Windows7マシンにツールをインストールしたいと思います。以前のバージョンにはWindows用のバイナリインストーラーがあるようですが、最新バージョンのNitrogenにはソースコードしかありません。プロジェクトframa-c.comのWebサイトには、これらは利用可能であるはずだと書かれていますが、ダウンロードページには表示されません。バイナリインストーラーは他の場所で利用できますか？

Answer 1

この記事の執筆時点での最新バージョンである Frama-C Nitrogen のバイナリ バージョンをインストールする手順は、こちらにあります。古いバージョンの Boron の上にインストールされ、Nitrogen にアップグレードされます。