Blog

Tag Archives: Ivette

Frama-C 26 (Iron): a release with several irons in the fire
André Maroneze (reviewed by David Bühler, Valentin Perrelle) on 29 November 2022

Frama-C 26 (Iron) has been released, and as always, it contains several improvements among different plug-ins. In this blog post, we will present some of them, with very short examples. This list of features is based on the main changes since the 25.0 (Manganese) release. Kernel/Aoraï: ‘calls’ ACSL extension moved...

Read More

Frama-C 25 includes a preview version of Ivette, the new Frama-C GUI
André Maroneze (review by David Bühler) on 12 July 2022

The Frama-C GUI, based on GTK, is undergoing a retirement process; Ivette, the new graphical interface, will replace it in a few versions. The first public preview of Ivette has shipped with Frama-C 25.0 (Manganese). This post will briefly present how to compile and run it. It also illustrates some...

Read More