--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on October 2019 ---
Dear Frama-C users, Fraunhofer FOKUS has released a new version (19.1.0) of âACSL by Exampleâ. This version is intended for Frama-C/WP 19.1. The examples can be accessed through Github https://github.com/fraunhoferfokus/acsl-by-example The PDF document can be directly accessed through https://github.com/fraunhoferfokus/acsl-by-example/blob/master/ACSL-by-Example.pdf This is a minor release where we among other things we - updated to newer prover versions - switched to the why3 interface of alt-ergo - updated some examples and introduced a few others (clamp, minmax_element, is_heap_until) Please refer to the changes section for a more detailed description. We hope that this version helps you in learning and applying Frama-C/WP! Jens Gerlach