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