Master to 22.0+dev

f5924dbf · Allan Blanchard · 0a7321f8 · f5924dbf · f5924dbf
Commit f5924dbf authored Oct 23, 2020 by Allan Blanchard
--- a/VERSION
+++ b/VERSION
-22.0-beta
+22.0+dev
--- a/opam/opam
+++ b/opam/opam
 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "22.0-beta"
+version: "22.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