From b6fd74e7d22ef50759516d643b78ac1e4fb74bf5 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 5 Dec 2024 14:36:47 +0100
Subject: [PATCH] [release] remove ~beta from VERSION
---
VERSION | 2 +-
ivette/package.json | 2 +-
opam | 2 +-
src/plugins/wp/Warning.mli | 2 +-
4 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/VERSION b/VERSION
index e5b91ee00b7..8b7373e9b56 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-30.0~beta
+30.0
diff --git a/ivette/package.json b/ivette/package.json
index eef7a002a74..369ffc11001 100644
--- a/ivette/package.json
+++ b/ivette/package.json
@@ -1,7 +1,7 @@
{
"name": "ivette",
"productName": "Ivette",
- "version": "29.0.0",
+ "version": "30.0.0",
"repository": "git@git.frama-c.com:frama-c/Ivette.git",
"author": "Loïc Correnson <loic.correnson@cea.fr>",
"license": "LGPL-2.1",
diff --git a/opam b/opam
index 0442dc5e7a9..f6f49c1645a 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: "30.0~beta"
+version: "30.0"
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/src/plugins/wp/Warning.mli b/src/plugins/wp/Warning.mli
index 2ebb218cedb..7781a089ce8 100644
--- a/src/plugins/wp/Warning.mli
+++ b/src/plugins/wp/Warning.mli
@@ -63,7 +63,7 @@ val handle : ?severe:bool -> fallback:string -> handler:('a -> 'b) -> ('a -> 'b)
if a context has been set.
Otherwise, a WP-fatal error is raised instead.
Default for [severe] is false.
- @before Frama-C+dev [fallback] was [effect]
+ @before 30.0-Zinc [fallback] was [effect]
*)
type 'a outcome =
--
GitLab