Bry*_* C. 5 ocaml frama-c
我希望做一些Frama-C开源项目的实验,并希望在Windows 7机器上安装这些工具.看起来以前的版本有Windows的二进制安装程序,但最新版本的氮只有源代码可用.该项目的网站frama-c.com说这些应该可用,但我没有在他们的下载页面上看到它们.二进制安装程序在其他地方可用吗？
Pas*_*uoq 3
您将在这里找到安装 Frama-C Nitrogen 二进制版本的说明，这是撰写本文时的最新版本。它安装在旧版本 Boron 之上，并将其升级为 Nitrogen。
归档时间：
13 年，10 月 前
查看次数：
1849 次
最近记录：
9 年，9 月 前