--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on September 2014 ---
Dear Frama-C Users, Fraunhofer FOKUS has just provided an updated version of ?ACSL by Example?. The new version is accessible through http://www.fokus.fraunhofer.de/de/sqc/_download_sqc/ACSL-by-Example.pdf It works with Frama-C Neon and includes the following changes ? remove additional labels in the assumes clauses of some stack function that were necessary due to an error in Oxygen ? provide a second version of remove_copy (see Sections 6.9 and 6.10) in order to explain the specification of the stability of the algorithms ? coarsen loop assigns of mutating algorithms ? temporarily remove the unique_copy algorithm Regards Jens Gerlach Head of Verification Group Fraunhofer FOKUS Berlin, Germany