From 2b89cfd81a917d4bc5c44ad3ee5f3fe463c42d82 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Tue, 18 Jul 2023 10:04:38 +0200 Subject: [PATCH] Frama-C 27.1 - Cobalt --- ALL_VERSIONS | 1 + Changelog | 4 ++++ VERSION | 2 +- opam | 4 ++-- releases/27.1.md | 6 ++++++ src/plugins/e-acsl/doc/Changelog | 4 ++++ src/plugins/wp/Changelog | 4 ++++ tools/hdrck/frama-c-hdrck.opam | 2 +- tools/lint/frama-c-lint.opam | 2 +- 9 files changed, 24 insertions(+), 5 deletions(-) create mode 100644 releases/27.1.md diff --git a/ALL_VERSIONS b/ALL_VERSIONS index db1d06dcb45..8a8ff947679 100644 --- a/ALL_VERSIONS +++ b/ALL_VERSIONS @@ -1,5 +1,6 @@ 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 diff --git a/Changelog b/Changelog index 3ba4625293d..c36ddded849 100644 --- a/Changelog +++ b/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 diff --git a/VERSION b/VERSION index a0d6856dbee..6ef5383e945 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -27.0 +27.1 diff --git a/opam b/opam index 7ea652e166d..fda42254cb7 100644 --- a/opam +++ b/opam @@ -1,7 +1,7 @@ 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" diff --git a/releases/27.1.md b/releases/27.1.md new file mode 100644 index 00000000000..ebb9cb30038 --- /dev/null +++ b/releases/27.1.md @@ -0,0 +1,6 @@ +# 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 diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 8d365c6d4a8..d0829960b6f 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/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) ############################################################################### diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog index 4fb5af2f690..0b74e89cf93 100644 --- a/src/plugins/wp/Changelog +++ b/src/plugins/wp/Changelog @@ -24,6 +24,10 @@ Plugin WP <next-release> ############################################################################### +############################################################################### +Plugin WP 27.1 (Cobalt) +############################################################################### + ############################################################################### Plugin WP 27.0 (Cobalt) ############################################################################### diff --git a/tools/hdrck/frama-c-hdrck.opam b/tools/hdrck/frama-c-hdrck.opam index dd69570d265..de71472f169 100644 --- a/tools/hdrck/frama-c-hdrck.opam +++ b/tools/hdrck/frama-c-hdrck.opam @@ -1,7 +1,7 @@ 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. diff --git a/tools/lint/frama-c-lint.opam b/tools/lint/frama-c-lint.opam index 821b7196af4..ab780f526f8 100644 --- a/tools/lint/frama-c-lint.opam +++ b/tools/lint/frama-c-lint.opam @@ -1,7 +1,7 @@ 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 -- GitLab