From c1cf4f7aad26e46f676d97b61e702b6713ba8f7d Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 21 Jul 2021 09:24:28 +0200
Subject: [PATCH] Frama-C 23.1-Vanadium
---
ALL_VERSIONS | 3 ++-
Changelog | 4 ++++
VERSION | 2 +-
src/plugins/e-acsl/doc/Changelog | 6 +++---
src/plugins/wp/Changelog | 2 +-
5 files changed, 11 insertions(+), 6 deletions(-)
diff --git a/ALL_VERSIONS b/ALL_VERSIONS
index 64a0142c4f5..731e28b1da1 100644
--- a/ALL_VERSIONS
+++ b/ALL_VERSIONS
@@ -1,6 +1,7 @@
Version number Date of release Notes
============== =============== =====
-23.0 (Vanadium) 2021, June 28
+23.1 (Vanadium) 2021, July 20
+23.0 (Vanadium) 2021, July 7
22.0 (Titanium) 2020, November 17
21.1 (Scandium) 2020, June 25 Bugs fixed
21.0 (Scandium) 2020, June 11
diff --git a/Changelog b/Changelog
index a173d8fbcd0..a5dfb430b58 100644
--- a/Changelog
+++ b/Changelog
@@ -13,6 +13,10 @@
# '#?nnn' : OLD-BTS entry #nnn #
###############################################################################
+###################################
+Open Source Release 23.1 (Vanadium)
+###################################
+
###################################
Open Source Release 23.0 (Vanadium)
###################################
diff --git a/VERSION b/VERSION
index 4266d863480..eaccea244b1 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-23.0
\ No newline at end of file
+23.1
\ No newline at end of file
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index bcf9aa49771..0dbfa76b09f 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 23.1 (Vanadium)
+#############################
-* E-ACSL [2021-07-19] Fix crash occurring when two or more successive
logic coercions were done in a term (frama-c/e-acsl#172).
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index ebc5e2fecde..b672590d22a 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -21,7 +21,7 @@
###############################################################################
#########################
-Plugin WP <next-release>
+Plugin WP 23.1 (Vanadium)
#########################
- WP [2021-07-15] Fix a crash related to opaque structures memory typing
--
GitLab