--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on October 2014 ---
Dear Jens, I wanted to update the Frama-C wiki which already refers your document. Good, the link is unchanged. But, when updating the version number given into that wiki, I saw an eventual problem with your document. In section A.1 about changes, it is written that this new version is "not yet published" ! So, are we allowed to have a such link to your document from our wiki? Patrick. Le 30/09/2014 16:13, Gerlach, Jens a ?crit : > 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 > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss -- Patrick Baudin, DILS/LSL, B?t. 862, Point Courrier n? 174 Institut CARNOT CEA LIST, CEA Saclay Nano-INNOV, 91191 Gif-sur-Yvette cedex, France. tel: +33 (0)1 6908 2072