--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on April 2020 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL by Example (version 20.0.2)



Dear Frama-C users,

Fraunhofer FOKUS has just released a new version (20.0.2) of “ACSL by Example”.
This version is intended for Frama-C/WP 20.0.
The examples 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 and its most important changes are:

- Add minor variations of find algorithm (including find_if_not).
- Add indices for examples and logic definitions
- Re-add results of running all provers in parallel. 
   (Thanks to Allan Blanchard for explaining how WP's session mechanism  can be be used in the implementation.)
- Fix a ghost label in partial_sort (Thanks to Virgile Prevosto)
- Reduce very long verification times of several examples

Please refer to the changes section for a more detailed description.

We hope that this version helps you in learning and applying Frama-C/WP!

Jens Gerlach