--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on March 2016 ---
Dear Frama-C users, I'm please to announce a new release of the plug-in E-ACSL for Frama-C Magnesium: http://frama-c.com/download/e-acsl/e-acsl-0.6.tar.gz This plug-in takes as input an annotated C program and returns the same program in which annotations have been converted into C code for runtime assertion checking: this code fails at runtime whenever an annotation is violated. More information is available at: http://frama-c.com/eacsl.html The main highlights of this release are: - compatibility with Frama-C Magnesium - a new convenient script e-acsl-gcc.sh to ease the code generation and compilation process of simple examples - a few bug fixes. A comprehensive list of changes is available in the tarball. Best regards, Julien Signoles -- Researcher-engineer CEA LIST, Software Security Labs tel:(+33)1.69.08.00.18 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr