Blog

Tag Archives: pony

Frama-C 15 (Phosphorus) released, and open source case studies
Andre on 22 June 2019

Frama-C 15 (Phosphorus) has been released, and the OPAM package is already available! A MinGW-based OPAM package, distributed by fdopens MinGW OPAM repository, is also available. In this post, we briefly highlight two new features in this release. We also announce the release of a new Github repository, open-source-case-studies, which...

Read More