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