Skip to content
Snippets Groups Projects
Commit abe73a04 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Version bump

parent 868ac64b
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
VERSION
+ 1
− 1
View file @ abe73a04
23.1+dev 24.0-beta
VERSION_CODENAME
+ 1
− 1
View file @ abe73a04
Vanadium Chromium
\ No newline at end of file
src/plugins/e-acsl/doc/Changelog
+ 3
− 3
View file @ abe73a04
...@@ -21,9 +21,9 @@ ...@@ -21,9 +21,9 @@
# configure configure # 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 - E-ACSL [2021-10-20] Add option -e-acsl-assert-print-data
(--assert-print-data in e-acsl-gcc.sh) to print data (--assert-print-data in e-acsl-gcc.sh) to print data
......
src/plugins/wp/Changelog
+ 1
− 1
View file @ abe73a04
...@@ -21,7 +21,7 @@ ...@@ -21,7 +21,7 @@
############################################################################### ###############################################################################
######################### #########################
Plugin WP <next-release> Plugin WP 24.0 (Chromium)
######################### #########################
- WP [2021-10-25] Removes -wp-overflows option (unsound) - WP [2021-10-25] Removes -wp-overflows option (unsound)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment