Frama-C 27.1 - Cobalt

ALL_VERSIONS

 Version number			Date of release		Notes
 ==============			===============		=====
+27.1 (Cobalt)                   2023, July, 18
 27.0 (Cobalt)                   2023, June, 15
 26.1 (Iron)                     2023, February 15
 26.0 (Iron)                     2022, November 23

Changelog

@@ -18,6 +18,10 @@
 Open Source Release <next-release>
 ###############################################################################
 
+###############################################################################
+Open Source Release 27.1 (Cobalt)
+###############################################################################
+
 -   Kernel    [2023-07-17] New frama-c-script wrapper for make_machdep.py
 -*  Ivette    [2023-07-06] Fixes crash with multiple instances
 -*  GUI       [2023-07-05] Fixes freeze when a plugin aborts during splash screen

VERSION

-27.0
+27.1

opam

 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "27.0"
+version: "27.1"
 description:"""
 Frama-C gathers several analysis techniques in a single collaborative
 framework, based on analyzers (called "plug-ins") that can build upon the
@@ -70,7 +70,7 @@ authors: [
 homepage: "https://frama-c.com/"
 license: "LGPL-2.1-only"
 dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
-doc: "http://frama-c.com/download/user-manual-27.0-Cobalt.pdf"
+doc: "http://frama-c.com/download/user-manual-27.1-Cobalt.pdf"
 bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
 tags: [
   "deductive"

releases/27.1.md

+# 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

src/plugins/e-acsl/doc/Changelog

@@ -25,6 +25,10 @@
 Plugin E-ACSL <next-release>
 ###############################################################################
 
+###############################################################################
+Plugin E-ACSL 27.1 (Cobalt)
+###############################################################################
+
 ###############################################################################
 Plugin E-ACSL 27.0 (Cobalt)
 ###############################################################################

src/plugins/wp/Changelog

@@ -24,6 +24,10 @@
 Plugin WP <next-release>
 ###############################################################################
 
+###############################################################################
+Plugin WP 27.1 (Cobalt)
+###############################################################################
+
 ###############################################################################
 Plugin WP 27.0 (Cobalt)
 ###############################################################################

tools/hdrck/frama-c-hdrck.opam

 opam-version: "2.0"
 name: "frama-c-hdrck"
 synopsis: "Frama-C header check tool"
-version: "27.0"
+version: "27.1"
 description:"""
 Performs all checks related to file headers as required by the Frama-C
 continuous integration.

tools/lint/frama-c-lint.opam

 opam-version: "2.0"
 name: "frama-c-lint"
 synopsis: "Frama-C lint tool"
-version: "27.0"
+version: "27.1"
 description:"""
 Performs all checks related to source code formatting as required by the Frama-C
 continuous integration. Namely: OCP-indent for ML files, clang-format for E-ACSL