Frama-C 23.0-Vanadium

92fa23ab · Allan Blanchard · 55965ccf · 92fa23ab · 92fa23ab · 92fa23ab
Commit 92fa23ab authored 3 years ago by Allan Blanchard
--- a/ALL_VERSIONS
+++ b/ALL_VERSIONS
 Version number			Date of release		Notes
 ==============			===============		=====
+23.0 (Vanadium)                 2021, June 28
 22.0 (Titanium)                 2020, November 17
 21.1 (Scandium)                 2020, June 25           Bugs fixed
 21.0 (Scandium)                 2020, June 11

--- a/VERSION
+++ b/VERSION
-23.0~rc1
+23.0
\ No newline at end of file
--- a/VERSION_CODENAME
+++ b/VERSION_CODENAME
-Vanadium
+Vanadium
\ No newline at end of file