From 88c935d3c892aad0f2a2c0772bba95a169680b10 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 29 Feb 2024 16:04:48 +0100
Subject: [PATCH] update version for 28.1 release
---
VERSION | 2 +-
bin/frama-c-build-scripts.sh | 2 +-
opam | 4 ++--
reference-configuration.md | 2 +-
src/plugins/e-acsl/doc/Changelog | 4 ++++
tools/hdrck/frama-c-hdrck.opam | 2 +-
tools/lint/frama-c-lint.opam | 2 +-
7 files changed, 11 insertions(+), 7 deletions(-)
diff --git a/VERSION b/VERSION
index ba70ecb3bfc..ed153771624 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-28.0
+28.1
diff --git a/bin/frama-c-build-scripts.sh b/bin/frama-c-build-scripts.sh
index 3823d537a85..4aa1c579abc 100755
--- a/bin/frama-c-build-scripts.sh
+++ b/bin/frama-c-build-scripts.sh
@@ -91,7 +91,7 @@ DuneProject () {
echo "(maintainers \"anonymous\")"
echo "(package (name ${PACKAGE})"
echo " (depends"
- echo " (\"frama-c\" (>= 28.0))"
+ echo " (\"frama-c\" (>= 28.1))"
echo " )"
echo " (tags (\"Frama-C scripts\"))"
echo ")"
diff --git a/opam b/opam
index 8d3cff07c99..78f5c052c33 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: "28.0"
+version: "28.1"
description:"""
Frama-C gathers several analysis techniques in a single collaborative
framework, based on analyzers (called "plug-ins") that can build upon the
@@ -72,7 +72,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-28.0-Nickel.pdf"
+doc: "http://frama-c.com/download/user-manual-28.1-Nickel.pdf"
bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
tags: [
"deductive"
diff --git a/reference-configuration.md b/reference-configuration.md
index 2d2c04e085e..5ba397866c5 100644
--- a/reference-configuration.md
+++ b/reference-configuration.md
@@ -1,5 +1,5 @@
The following set of packages is known to be a working configuration for
-compiling Frama-C 28.0.
+compiling Frama-C 28.1.
- OCaml 4.13.1
- alt-ergo.2.4.2 (for wp, optional)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 35c9005a454..d8870d5d675 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 28.1 (Nickel)
+###############################################################################
+
###############################################################################
Plugin E-ACSL 28.0 (Nickel)
###############################################################################
diff --git a/tools/hdrck/frama-c-hdrck.opam b/tools/hdrck/frama-c-hdrck.opam
index fec9d987234..019afc381da 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: "28.0"
+version: "28.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 69aff8dd9a4..cd26b633ec0 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: "28.0"
+version: "28.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