diff --git a/ALL_VERSIONS b/ALL_VERSIONS index 731e28b1da14b733e369c8601618ff5fd2196e87..5c93176a091e3436ccc53e46bbbc52090370f534 100644 --- a/ALL_VERSIONS +++ b/ALL_VERSIONS @@ -1,5 +1,6 @@ Version number Date of release Notes ============== =============== ===== +24.0 (Chromium) 2021, November 30 23.1 (Vanadium) 2021, July 20 23.0 (Vanadium) 2021, July 7 22.0 (Titanium) 2020, November 17 diff --git a/VERSION b/VERSION index 445ab99032fd9bf3b029cf68f6087e84fd440fd1..d9133a54b63d2fa1cfd62ea267aeda55b6945666 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -24.0~beta +24.0 diff --git a/opam/opam b/opam/opam index 2a7aee3a9c488cee7222504f9d81f1fe86197af3..8c4fd47361cd5bea9784716776d3495df456df11 100644 --- a/opam/opam +++ b/opam/opam @@ -1,7 +1,7 @@ opam-version: "2.0" name: "frama-c" synopsis: "Platform dedicated to the analysis of source code written in C" -version: "24.0~beta" +version: "24.0" description:""" Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the