diff --git a/VERSION b/VERSION index 930e9e656373bd9c3a4939e14ebdad9bf7daaca9..8ff2968bc110f8746452cf63b771aa8e77e901ba 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -23.1+dev +24.0-beta diff --git a/VERSION_CODENAME b/VERSION_CODENAME index f4b3009d21d4adc6ce106b3a5996302feb864c5b..6c429b188eece037dd94a93a6275c0f51e8f4cdd 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 1976998a6fea11f1c4c50142815bc3213f1882c8..d14f0bda22c4b559abb9ab4aff0a7e5ba391c44f 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 2a4bb7b50269cf021fe54e608ab12e5f5953938d..18b0043a27c2db2145bb224acf445d414123d38a 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)