--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on December 2018 ---
Dear Frama-C users, The Verification Group at Fraunhofer FOKUS has released a new version (18.0.0) of âACSL by Exampleâ. This version is intended for Frama-C 18.0 (âArgon'). 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 - replace the links to the (now abandoned) original site of Standard Template Library (STL) by references to the C++ standard - add new algorithm âunique_copy' (two versions) - add another assertion for algorithm âreverseâ - add two overloaded versions of predicate âConstantRange' and use them for the algorithms âfill' and âunique_copy', respectively We hope this document helps you in your work with Frama-C/WP. Regards Jens Gerlach