diff --git a/ALL_VERSIONS b/ALL_VERSIONS index db1d06dcb452781e69835717d02407024fad37da..8a8ff94767995424b50f31dcd026971ae48a1dd3 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 3ba4625293da9cd670e501cda64062693141349a..c36ddded8499c474455030207e7d2a87ccbde633 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 a0d6856dbeecfde64269587cdef95a06b5edc878..6ef5383e9455d7acc6d65181a442f7d850649579 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -27.0 +27.1 diff --git a/opam b/opam index 7ea652e166d0055483e4878b6a233f8bb17eb773..fda42254cb75d6f108061628f78cb83c3bb8d6da 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 0000000000000000000000000000000000000000..7c02e8a360357bbe63be5d2dd00dbee11ef1a4c1 --- /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` pour `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 8d365c6d4a829724b44bdaac91bb6c491d01fb05..d0829960b6f98351aafa8264a28f34ae5934c948 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 4fb5af2f6901fc18e72acc7545e565964c757d3c..0b74e89cf93d562c70a0ad57e9d39e9f32379242 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 dd69570d265c8fbc7e91ec0fea908d7ff800b22b..de71472f1699552054539b4e511952235da26599 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 821b7196af4c5da5a376c6f802c7decf85a1c34a..ab780f526f88f75330415816dc9e4dcc8322edb7 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