Commit eeaa6e6d authored by François Bobot's avatar François Bobot
Browse files

25.0-Manganese release

parent dbd3f7a8
Pipeline #46349 passed with stages
in 7 minutes and 52 seconds
layout: default
date: "21-06-2022"
short_title: Frama-C 25.0 (Manganese)
title: Release of Frama-C 25.0 (Manganese)
link: /fc-versions/manganese.html
Frama-C 25.0 (Manganese) is out. Download it [here](/fc-versions/manganese.html).
Main changes with respect to Frama-C 24 (Chromium) include:
#### Kernel
- The experimental AST Diff module allows to compute difference between the AST
of two projects
- significant changes in AST types that might break existing development
#### E-ACSL
- add support for Linux's pthread concurrency
#### EVA
- New public API to run the analysis and access its results, intended to replace the old API in Db.Value.
- Improved multidim domain: it is now more precise and more robust, and is able to infer simple array invariants and disjunctive struct invariants.
#### WP
- uses Why3 1.5.0
- new supported ACSL features : decreases clause and general measures for variant and decreases
- new tactics: Clear for hypothesis removal and ModMask for rewriting of mask and modulos
- removed deprecated legacy WP engine and native prover output (always use Why3)
- fixes loop invariant order and collect more hypotheses when proving them
#### Ivette (New Frama-C GUI)
We are introducing Ivette, a new GUI for Frama-C.
In this preliminary version, only EVA and some of its derived plug-ins are supported.
Build & install instructions are in `ivette/` from the source tarball.
To try it, simply use `ivette` in replacement of `frama-c-gui`.
Your feedback is welcome.
Have fun !
......@@ -2,41 +2,41 @@
layout: version
number: 25
name: Manganese
beta: true
acsl: 18
- number: 0
- name: Frama-C v25.0~beta Manganese
- name: Frama-C v25.0 Manganese
- name: Source distribution
link: /download/frama-c-25.0-beta-Manganese.tar.gz
link: /download/frama-c-25.0-Manganese.tar.gz
help: Compilation instructions
help_link: /html/installations/manganese.html
- name: User manual
link: /download/user-manual-25.0-beta-Manganese.pdf
link: /download/user-manual-25.0-Manganese.pdf
- name: Plug-in development guide
link: /download/plugin-development-guide-25.0-beta-Manganese.pdf
link: /download/plugin-development-guide-25.0-Manganese.pdf
help: Hello plug-in tutorial archive
help_link: /download/hello-25.0-beta-Manganese.tar.gz
help_link: /download/hello-25.0-Manganese.tar.gz
- name: API Documentation
link: /download/frama-c-25.0-beta-Manganese-api.tar.gz
link: /download/frama-c-25.0-Manganese-api.tar.gz
- name: ACSL 1.18 (Manganese implementation)
link: /download/acsl-implementation-25.0-beta-Manganese.pdf
link: /download/acsl-implementation-25.0-Manganese.pdf
- name: Plug-in Manuals
sort: true
- name: Aoraï manual
link: /download/aorai-manual-25.0-beta-Manganese.pdf
link: /download/aorai-manual-25.0-Manganese.pdf
help: Aoraï example
help_link: /download/aorai-example-25.0-beta-Manganese.tgz
help_link: /download/aorai-example-25.0-Manganese.tgz
- name: Metrics manual
link: /download/metrics-manual-25.0-beta-Manganese.pdf
link: /download/metrics-manual-25.0-Manganese.pdf
- name: Rte manual
link: /download/rte-manual-25.0-beta-Manganese.pdf
link: /download/rte-manual-25.0-Manganese.pdf
- name: Eva manual
link: /download/eva-manual-25.0-beta-Manganese.pdf
link: /download/eva-manual-25.0-Manganese.pdf
- name: WP manual
link: /download/wp-manual-25.0-beta-Manganese.pdf
link: /download/wp-manual-25.0-Manganese.pdf
- name: E-ACSL manual
link: /download/e-acsl/e-acsl-manual-25.0-beta-Manganese.pdf
link: /download/e-acsl/e-acsl-manual-25.0-Manganese.pdf
No preview for this file type
No preview for this file type
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment