Merge branch 'release/27.1-cobalt' into 'master'

Release 27.1-Cobalt

See merge request !198

_events/framac-27.1.md

+---
+layout: default
+date: "18-07-2023"
+short_title: Frama-C 27.1 (Cobalt)
+title: Release of Frama-C 27.1 (Cobalt)
+link: /fc-versions/cobalt.html
+---
+
+Frama-C 27.1 (Cobalt) is out. Download it [here](/fc-versions/cobalt.html).
+
+Main changes with respect to Frama-C 27.0 (Cobalt) include:
+
+#### Kernel
+- Fixes a crash and a freeze in the GTK GUI
+- Add a wrapper in `frama-c-script` for `make_machdep.py`
+
+#### Ivette
+- Fixes a crash with multiple instances of Ivette

_fc-versions/cobalt.md

@@ -4,55 +4,55 @@ number: 27
 name: Cobalt
 acsl: 19
 releases:
-- number: 0
+- number: 1
   categories:
-  - name: Frama-C v27.0 Cobalt
+  - name: Frama-C v27.1 Cobalt
     files:
     - name: Source distribution
-      link: /download/frama-c-27.0-Cobalt.tar.gz
+      link: /download/frama-c-27.1-Cobalt.tar.gz
       help: Compilation instructions
       help_link: /html/installations/cobalt.html
     - name: User manual
-      link: /download/user-manual-27.0-Cobalt.pdf
+      link: /download/user-manual-27.1-Cobalt.pdf
     - name: Plug-in development guide
-      link: /download/plugin-development-guide-27.0-Cobalt.pdf
+      link: /download/plugin-development-guide-27.1-Cobalt.pdf
       help: Hello plug-in tutorial archive
-      help_link: /download/hello-27.0-Cobalt.tar.gz
+      help_link: /download/hello-27.1-Cobalt.tar.gz
     - name: API Documentation
-      link: /download/frama-c-27.0-Cobalt-api.tar.gz
+      link: /download/frama-c-27.1-Cobalt-api.tar.gz
     - name: Server API Documentation
-      link: /download/frama-c-server-27.0-Cobalt-api.tar.gz
+      link: /download/frama-c-server-27.1-Cobalt-api.tar.gz
     - name: ACSL 1.19 (Cobalt implementation)
-      link: /download/acsl-implementation-27.0-Cobalt.pdf
+      link: /download/acsl-implementation-27.1-Cobalt.pdf
   - name: Plug-in Manuals
     sort: true
     files:
     - name: Aoraï manual
-      link: /download/aorai-manual-27.0-Cobalt.pdf
+      link: /download/aorai-manual-27.1-Cobalt.pdf
       help: Aoraï example
-      help_link: /download/aorai-example-27.0-Cobalt.tar.gz
+      help_link: /download/aorai-example-27.1-Cobalt.tar.gz
     - name: Metrics manual
-      link: /download/metrics-manual-27.0-Cobalt.pdf
+      link: /download/metrics-manual-27.1-Cobalt.pdf
     - name: Rte manual
-      link: /download/rte-manual-27.0-Cobalt.pdf
+      link: /download/rte-manual-27.1-Cobalt.pdf
     - name: Eva manual
-      link: /download/eva-manual-27.0-Cobalt.pdf
+      link: /download/eva-manual-27.1-Cobalt.pdf
     - name: WP manual
-      link: /download/wp-manual-27.0-Cobalt.pdf
+      link: /download/wp-manual-27.1-Cobalt.pdf
     - name: E-ACSL manual
-      link: /download/e-acsl/e-acsl-manual-27.0-Cobalt.pdf
+      link: /download/e-acsl/e-acsl-manual-27.1-Cobalt.pdf
   - name: Ivette Packages (experimental)
     files:
     - name: Linux AppImage
-      link: /download/frama-c-ivette-linux-27.0-Cobalt.AppImage
+      link: /download/frama-c-ivette-linux-27.1-Cobalt.AppImage
       help: README install
-      help_link: /download/frama-c-ivette-app-install-27.0-Cobalt.md
+      help_link: /download/frama-c-ivette-app-install-27.1-Cobalt.md
     - name: macOS x86
-      link: /download/frama-c-ivette-macos-x86-27.0-Cobalt.app
+      link: /download/frama-c-ivette-macos-x86-27.1-Cobalt.tar.gz
       help: README install
-      help_link: /download/frama-c-ivette-app-install-27.0-Cobalt.md
+      help_link: /download/frama-c-ivette-app-install-27.1-Cobalt.md
     - name: macOS ARM
-      link: /download/frama-c-ivette-macos-arm-27.0-Cobalt.app
+      link: /download/frama-c-ivette-macos-arm-27.1-Cobalt.tar.gz
       help: README install
-      help_link: /download/frama-c-ivette-app-install-27.0-Cobalt.md
+      help_link: /download/frama-c-ivette-app-install-27.1-Cobalt.md
 ---