diff --git a/ALL_VERSIONS b/ALL_VERSIONS index d9447f7b7d320386cd109d9acaaefc53da5ca3c8..41c8714b5e8cec36bdab5450c57eb8db4568e653 100644 --- a/ALL_VERSIONS +++ b/ALL_VERSIONS @@ -1,5 +1,6 @@ Version number Date of release Notes ============== =============== ===== +19.0 (Potassium) 2019, June 21 18.0 (Argon) 2018, November 29 Chlorine-20180502 2018, July 06 Bug fixed Chlorine-20180501 2018, June 01 diff --git a/VERSION b/VERSION index e05f67667f953aef068e3ff9bf4a4244478e7463..0c48b6c985e328b88a009121a6e0431a102a7db0 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -19.0-beta2 \ No newline at end of file +19.0 \ No newline at end of file diff --git a/opam/opam b/opam/opam index d078e4b6cc56b6d85795e8c88b74e8b9a316669c..162d6fd2734d587766cf41b9165cfbd9323830bc 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: "19.0.beta2" +version: "19.0" maintainer: "francois.bobot@cea.fr" authors: [ "Michele Alberti"