Frama-C 23.1-Vanadium

ALL_VERSIONS

 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

Changelog

@@ -13,6 +13,10 @@
 # '#?nnn'  : OLD-BTS entry #nnn                                               #
 ###############################################################################
 
+###################################
+Open Source Release 23.1 (Vanadium)
+###################################
+
 ###################################
 Open Source Release 23.0 (Vanadium)
 ###################################

VERSION

-23.0
\ No newline at end of file
+23.1
\ No newline at end of file

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).

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