--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on April 2020 ---
Dear Frama-C users, Fraunhofer FOKUS has just released a new version (20.0.2) 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 This is a minor release and its most important changes are: - Add minor variations of find algorithm (including find_if_not). - Add indices for examples and logic definitions - Re-add results of running all provers in parallel. (Thanks to Allan Blanchard for explaining how WP's session mechanism can be be used in the implementation.) - Fix a ghost label in partial_sort (Thanks to Virgile Prevosto) - Reduce very long verification times of several examples 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