--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on December 2019 ---
Dear Frama-C users, Fraunhofer FOKUS has released a new version (20.0.0) of âACSL by Exampleâ. This version is intended for Frama-C/WP 20.0. 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 We would like to thank the Frama-C team and in particular Allan Blanchard for supporting us when switching to Frama-C 20 - updated to newer tool versions - switch from memory model âTyped+Refâ to âTypedâ - updated some examples and introduced âbubble_sortâ - improved the verification rate of numeric algorithms 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