--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on March 2018 ---
Dear Frama-C users, The Verification Group at Fraunhofer FOKUS has released a new version (16.1.1) of âACSL by Exampleâ. This version is intended for Frama-C 16 (Sulfur). Its source 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 * fixed typos that were reported to us by Aaron Rocha (thanks!) * fixed an unintended merging of contracts in the second version of binary_search * updated the used provers We hope this document helps you in your work with Frama-C/WP. On a more personal note, I would like to express my gratitude for the work of our long time co-author Dr. Jochen Burghardt who will retire at the end of March 2018. âACSL by Exampleâ could not have been maintained such a long time without his excellent work! Regards Jens Gerlach -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180322/5ddebed0/attachment.html>