--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on December 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL by Example (version 18.0.0 for Frama-C 18.0, Argon)



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