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

Release 26.1-Iron

See merge request !178

_events/framac-26.1.md

+---
+layout: default
+date: "15-02-2023"
+short_title: Frama-C 26.1 (Iron)
+title: Release of Frama-C 26.1 (Iron)
+link: /fc-versions/iron.html
+---
+
+Frama-C 26.1 (Iron) is out. Download it [here](/fc-versions/iron.html).
+
+This minor release fixes some issues related to the compilation and installation
+of Frama-C.
+
+Other changes with respect to Frama-C 26.0 (Iron) include:
+
+#### Kernel
+- Accepts \ghost attribute in logic annotations
+- Fixes issue in pretty-printing ranges
+
+#### WP
+- Fixes 'terminates' goals generation when some 'terminates' or 'decreases'
+  clauses are missing.

_fc-versions/iron.md

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