Merge branch 'release/26.0-iron' into 'master'

Release 26.0-Iron

See merge request !169

_events/framac-26.0.md

+---
+layout: default
+date: "23-11-2022"
+short_title: Frama-C 26.0 (Iron)
+title: Release of Frama-C 26.0 (Iron)
+link: /fc-versions/iron.html
+---
+
+Frama-C 26.0 (Iron) is out. Download it [here](/fc-versions/iron.html).
+
+Main changes with respect to Frama-C 25.0 (Manganese) include:
+
+The Frama-C build now uses dune. Hopefully, this should have no impact on most
+Frama-C users.
+Maintainers of external plug-ins must now use dune as well (see the plug-in
+migration section in the developer manual), and the loading of modules and
+scripts has changed (see the frama-c-build-scripts.sh tool to build scripts
+for Frama-C).
+
+#### Kernel
+- `calls` ACSL extension for listing potential targets of indirect calls is now
+  supported within kernel, and not only by the WP plug-in.
+
+#### Aoraï
+- remove (almost unused) support for LTL and Promela as input language.
+- support for programs with indirect calls if they are annotated with `calls`
+  annotations.
+
+#### E-ACSL
+- add support for logic functions returning a rational number.
+
+#### Eva
+- complete the Eva public API; the Db.Value API is now deprecated.
+- allow reducing the value of arguments of functions interpreted by a builtin
+  or an ACSL specification; this is especially useful on C asserts.
+- improved precision and performance of the octagon domain.
+
+#### WP
+- improved Json output for verification statistics and results.
+- Why3 version bumped to 1.5.1.
+
+#### Ivette (new Frama-C GUI)
+- the installation of Frama-C provides an installation script for Ivette.
+  Run 'ivette' once to finalize installation (this requires node 16, yarn and
+  an internet connection).
+- improve the dataflow graphs generated by the Dive plug-in.
+- when the taint domain of Eva is enabled, taint status of lvalues is shown
+  in the Inspector component and in Dive graphs.

_fc-versions/iron.md

@@ -2,43 +2,43 @@
 layout: version
 number: 26
 name: Iron
-beta: true
+acsl: 18
 releases:
 - number: 0
   categories:
-  - name: Frama-C v26.0~beta Iron
+  - name: Frama-C v26.0 Iron
     files:
     - name: Source distribution
-      link: /download/frama-c-26.0-beta-Iron.tar.gz
+      link: /download/frama-c-26.0-Iron.tar.gz
       help: Compilation instructions
       help_link: /html/installations/iron.html
     - name: User manual
-      link: /download/user-manual-26.0-beta-Iron.pdf
+      link: /download/user-manual-26.0-Iron.pdf
     - name: Plug-in development guide
-      link: /download/plugin-development-guide-26.0-beta-Iron.pdf
+      link: /download/plugin-development-guide-26.0-Iron.pdf
       help: Hello plug-in tutorial archive
-      help_link: /download/hello-26.0-beta-Iron.tar.gz
+      help_link: /download/hello-26.0-Iron.tar.gz
     - name: API Documentation
-      link: /download/frama-c-26.0-beta-Iron-api.tar.gz
+      link: /download/frama-c-26.0-Iron-api.tar.gz
     - name: Server API Documentation
-      link: /download/frama-c-server-26.0-beta-Iron-api.tar.gz
+      link: /download/frama-c-server-26.0-Iron-api.tar.gz
     - name: ACSL 1.18 (Iron implementation)
-      link: /download/acsl-implementation-26.0-beta-Iron.pdf
+      link: /download/acsl-implementation-26.0-Iron.pdf
   - name: Plug-in Manuals
     sort: true
     files:
     - name: Aoraï manual
-      link: /download/aorai-manual-26.0-beta-Iron.pdf
+      link: /download/aorai-manual-26.0-Iron.pdf
       help: Aoraï example
-      help_link: /download/aorai-example-26.0-beta-Iron.tar.gz
+      help_link: /download/aorai-example-26.0-Iron.tar.gz
     - name: Metrics manual
-      link: /download/metrics-manual-26.0-beta-Iron.pdf
+      link: /download/metrics-manual-26.0-Iron.pdf
     - name: Rte manual
-      link: /download/rte-manual-26.0-beta-Iron.pdf
+      link: /download/rte-manual-26.0-Iron.pdf
     - name: Eva manual
-      link: /download/eva-manual-26.0-beta-Iron.pdf
+      link: /download/eva-manual-26.0-Iron.pdf
     - name: WP manual
-      link: /download/wp-manual-26.0-beta-Iron.pdf
+      link: /download/wp-manual-26.0-Iron.pdf
     - name: E-ACSL manual
-      link: /download/e-acsl/e-acsl-manual-26.0-beta-Iron.pdf
+      link: /download/e-acsl/e-acsl-manual-26.0-Iron.pdf
 ---