diff --git a/VERSION b/VERSION index f61b636189f1a49d8fc714a3a3ff081169388207..6630b191eeab90f86c2ff9d96fcf0f432831e44e 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -29.0~beta +29.0+dev diff --git a/opam b/opam index 53586a75eff6edbf6c4346ed6e60ed057bad6c33..4523b2fc51aa43dfae17a61f3765c16310713ed8 100644 --- a/opam +++ b/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: "29.0~beta" +version: "29.0+dev" description:""" Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the diff --git a/tools/hdrck/frama-c-hdrck.opam b/tools/hdrck/frama-c-hdrck.opam index eb9432541772260fb7a04b274b4599d72ad9e549..9ac4b153329252440f5f2bb8a33cd2073d061790 100644 --- a/tools/hdrck/frama-c-hdrck.opam +++ b/tools/hdrck/frama-c-hdrck.opam @@ -1,7 +1,7 @@ opam-version: "2.0" name: "frama-c-hdrck" synopsis: "Frama-C header check tool" -version: "29.0" +version: "29.0+dev" description:""" Performs all checks related to file headers as required by the Frama-C continuous integration. diff --git a/tools/lint/frama-c-lint.opam b/tools/lint/frama-c-lint.opam index ca8f52c3bfec4b4d1ce8c1829059a4ef2c5053c0..53ae18b3a27cc0de7b931a9f5ca9d2ea0282c725 100644 --- a/tools/lint/frama-c-lint.opam +++ b/tools/lint/frama-c-lint.opam @@ -1,7 +1,7 @@ opam-version: "2.0" name: "frama-c-lint" synopsis: "Frama-C lint tool" -version: "29.0" +version: "29.0+dev" description:""" Performs all checks related to source code formatting as required by the Frama-C continuous integration. Namely: OCP-indent for ML files, clang-format for E-ACSL