如何安装 Frama-C 的特定提交

Question

Frama-C 错误跟踪系统中的 issue 包含一条注释：

"was fixed by commit xyz. Fix will appear in Phosphorus."

如何将 frama-c 更新为该特定提交？我通过 opam 在 Ubuntu 上安装了 frama-c。

Answer 1

（我是 Frama-C 开发人员。）非开发人员目前无法访问个人提交，因此我已经相应地修改了 BTS 问题。我们每 6 个月发布一次 Frama-C 的快照版本。我们预计将在 5 月发布包含此特定修复程序的 Phosphorus。