Ivette is a new Graphical User Interface for Frama-C. It is aimed at replacing in a mid-term basis the brave, although old, GTK-based
frama-c-gui user interface.
Ivette has been designed with modern HTML5 technologies in order to explore new ways of interacting with the Frama-C platform. It is still experimental but ready to use for EVA-centric usage.
This blog post provides a gentle introduction to Ivette. Any feedback is very wellcomed!
The Ivette application launches Frama-C in server mode through the Server plug-in to interact with the platform.