From abe73a045328211acae8f351696c48d274c7a2b5 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 4 Nov 2021 11:06:02 +0100
Subject: [PATCH] Version bump
---
VERSION | 2 +-
VERSION_CODENAME | 2 +-
src/plugins/e-acsl/doc/Changelog | 6 +++---
src/plugins/wp/Changelog | 2 +-
4 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/VERSION b/VERSION
index 930e9e65637..8ff2968bc11 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-23.1+dev
+24.0-beta
diff --git a/VERSION_CODENAME b/VERSION_CODENAME
index f4b3009d21d..6c429b188ee 100644
--- a/VERSION_CODENAME
+++ b/VERSION_CODENAME
@@ -1 +1 @@
-Vanadium
\ No newline at end of file
+Chromium
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 1976998a6fe..d14f0bda22c 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -21,9 +21,9 @@
# configure configure
###############################################################################
-############################
-Plugin E-ACSL <next-release>
-############################
+#############################
+Plugin E-ACSL 24.0 (Chromium)
+#############################
- E-ACSL [2021-10-20] Add option -e-acsl-assert-print-data
(--assert-print-data in e-acsl-gcc.sh) to print data
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 2a4bb7b5026..18b0043a27c 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -21,7 +21,7 @@
###############################################################################
#########################
-Plugin WP <next-release>
+Plugin WP 24.0 (Chromium)
#########################
- WP [2021-10-25] Removes -wp-overflows option (unsound)
--
GitLab