--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on March 2016 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] E-ACSL 0.6 for Magnesium



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