--- layout: fc_discuss_archives title: Message 123 from Frama-C-discuss on September 2013 ---
Hello, I'm please to announce a new release of the Frama-C plug-in E-ACSL: http://frama-c.com/download/e-acsl/e-acsl-0.3.tar.gz It is compatible with Frama-C Fluorine-20130601. 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. The main change since v0.2 is the support of loop invariants. Enjoy this plug-in and do not hesitate to report your feedback. Best regards, Julien Signoles