diff --git a/src/kernel_internals/runtime/config.mli b/src/kernel_internals/runtime/config.mli
index 80c125ae0c08c5d0a3955961112c8ab7235c4bd3..fb6d070c74c0f041e99aa5f94513fe84fb8d9833 100644
--- a/src/kernel_internals/runtime/config.mli
+++ b/src/kernel_internals/runtime/config.mli
@@ -36,11 +36,11 @@ val version_and_codename: string
val major_version: int
(** Frama-C major version number.
- @since Frama-C+dev *)
+ @since 19.0-Potassium *)
val minor_version: int
(** Frama-C minor version number.
- @since Frama-C+dev *)
+ @since 19.0-Potassium *)
val is_gui: bool ref
(** Is the Frama-C GUI running?
diff --git a/src/kernel_services/ast_data/cil_types.mli b/src/kernel_services/ast_data/cil_types.mli
index 9ca6bee84604575fe2f429beada46f30681d215f..7e0addfa37b30314353f07196413221e3125885d 100644
--- a/src/kernel_services/ast_data/cil_types.mli
+++ b/src/kernel_services/ast_data/cil_types.mli
@@ -1066,7 +1066,7 @@ and stmt = {
mutable sattr : attributes
(** Statement attributes.
- @since Frama-C+dev *)
+ @since 19.0-Potassium *)
}
(** Labels *)
diff --git a/src/kernel_services/ast_data/kernel_function.mli b/src/kernel_services/ast_data/kernel_function.mli
index dc999bb6dc809590ce5b9f4c0c9c638eaecbf75c..0dcbc8acb7307aaa3e1c0f79adec20665a386b87 100644
--- a/src/kernel_services/ast_data/kernel_function.mli
+++ b/src/kernel_services/ast_data/kernel_function.mli
@@ -113,7 +113,7 @@ val common_block: stmt -> stmt -> block
both [s1] and [s2], provided the statements belong to the same function.
raises a fatal error if this is not the case.
- @since Frama-C+dev
+ @since 19.0-Potassium
*)
val stmt_in_loop: t -> stmt -> bool
@@ -141,7 +141,7 @@ val var_is_in_scope: stmt -> varinfo -> bool
that on the contrary to {!Globals.Syntactic_search.find_in_scope}, the
variable is searched according to its [vid], not its [vorig_name].
- @since Frama-C+dev *)
+ @since 19.0-Potassium *)
val find_enclosing_stmt_in_block: block -> stmt -> stmt
(** [find_enclosing_stmt_in_block b s] returns the statements [s']
@@ -149,7 +149,7 @@ val find_enclosing_stmt_in_block: block -> stmt -> stmt
an inner block (recursively) containing [s].
@raise AbortFatal if [b] is not equal to [find_enclosing_block s]
- @since Frama-C+dev
+ @since 19.0-Potassium
*)
val is_between: block -> stmt -> stmt -> stmt -> bool
@@ -160,7 +160,7 @@ val is_between: block -> stmt -> stmt -> stmt -> bool
@raise AbortFatal if pre-conditions are not met.
- @since Frama-C+dev
+ @since 19.0-Potassium
*)
diff --git a/src/kernel_services/ast_data/property.mli b/src/kernel_services/ast_data/property.mli
index d951fa1afb61b2990baece699c57ff35cc83b462..8b91f7fde54b52978f527327f159800142371b7a 100644
--- a/src/kernel_services/ast_data/property.mli
+++ b/src/kernel_services/ast_data/property.mli
@@ -448,7 +448,7 @@ val ip_of_global_annotation_single:
val has_status: identified_property -> bool
(** Does the property has a logical status (which may be Never_tried)?
False for pragma, assumes clauses and some ACSL extensions.
- @since Frama-C+dev *)
+ @since 19.0-Potassium *)
val get_kinstr: identified_property -> kinstr
val get_kf: identified_property -> kernel_function option
@@ -467,7 +467,7 @@ val source: identified_property -> Filepath.position option
(**************************************************************************)
-(** @since Frama-C+dev deprecated old naming scheme,
+(** @since 19.0-Potassium deprecated old naming scheme,
to be removed in future versions. *)
module LegacyNames :
sig
@@ -485,12 +485,12 @@ sig
val get_prop_name_id: identified_property -> string
(** returns a unique name identifying the property.
This name is built from the basename of the property.
- @modify Frama-C+dev new naming scheme, Cf. LegacyNames
+ @modify 19.0-Potassium new naming scheme, Cf. LegacyNames
*)
val get_prop_basename: ?truncate:int -> identified_property -> string
(** returns the basename of the property.
- @modify Frama-C+dev additional truncation parameter
+ @modify 19.0-Potassium additional truncation parameter
*)
end
diff --git a/src/kernel_services/ast_queries/cil.mli b/src/kernel_services/ast_queries/cil.mli
index bcb8991186ad056f30b552187d9ab42c0e35fec8..bd9004a95867dd7da8ecc2ade9eb7c2ae8829970 100644
--- a/src/kernel_services/ast_queries/cil.mli
+++ b/src/kernel_services/ast_queries/cil.mli
@@ -538,12 +538,12 @@ val isCharArrayType: typ -> bool
val isIntegralType: typ -> bool
(** True if the argument is [_Bool]
- @since Frama-C+dev
+ @since 19.0-Potassium
*)
val isBoolType: typ -> bool
(** True if the argument is [_Bool] or [boolean].
- @since Frama-C+dev
+ @since 19.0-Potassium
*)
val isLogicPureBooleanType: logic_type -> bool
@@ -855,7 +855,7 @@ val isLogicNull: term -> bool
(** [no_op_coerce typ term] is [true] iff converting [term] to [typ] does
not modify its value.
- @since Frama-C+dev
+ @since 19.0-Potassium
*)
val no_op_coerce: logic_type -> term -> bool
@@ -2074,7 +2074,7 @@ val visitCilBlock: cilVisitor -> block -> block
and contain definitions of local variables that are not part of the block.
@since Phosphorus-20170501-beta1
- @modify Frama-C+dev: do not raise fatal as soon as the block has locals
+ @modify 19.0-Potassium: do not raise fatal as soon as the block has locals
*)
val transient_block: block -> block
diff --git a/src/kernel_services/ast_queries/logic_typing.mli b/src/kernel_services/ast_queries/logic_typing.mli
index f30df04280448362252376dfc6aa835029466b64..e6c6c5460f6373b9a5681550d8ec601875ac4e5d 100644
--- a/src/kernel_services/ast_queries/logic_typing.mli
+++ b/src/kernel_services/ast_queries/logic_typing.mli
@@ -176,7 +176,7 @@ type typing_context = {
@since Carbon-20101201
@modify Silicon-20161101 change type of the function
- @modify Frama-C+dev add [status] argument
+ @modify 19.0-Potassium add [status] argument
*)
val register_behavior_extension:
string -> bool ->
@@ -295,7 +295,7 @@ sig
@param explicit true if the cast is present in original source.
defaults to false
@since Nitrogen-20111001
- @modify Frama-C+dev introduces explicit param
+ @modify 19.0-Potassium introduces explicit param
*)
val mk_cast:
?explicit:bool -> Cil_types.term -> Cil_types.logic_type -> Cil_types.term
diff --git a/src/libraries/stdlib/extlib.mli b/src/libraries/stdlib/extlib.mli
index 1fdba6ce16dfa0177dea43c0bc00adb72f480b90..86d7bec02790d0ec2ced3af931ab3c239910cc0f 100644
--- a/src/libraries/stdlib/extlib.mli
+++ b/src/libraries/stdlib/extlib.mli
@@ -340,7 +340,7 @@ val mkdir : ?parents:bool -> string -> Unix.file_perm -> unit
user execution of the created directory. This will leave the filesystem
in a modified state before raising an exception.
@raise Unix.Unix_error if cannot create [name] or its parents.
- @since Frama-C+dev *)
+ @since 19.0-Potassium *)
val safe_at_exit : (unit -> unit) -> unit
(** Register function to call with [Pervasives.at_exit], but only
diff --git a/src/plugins/gui/gtk_helper.mli b/src/plugins/gui/gtk_helper.mli
index 776e4d3560d974bb684e74186bb8489875709025..6d9d605b34bf5dd4da7058b20f071f786cbb47f5 100644
--- a/src/plugins/gui/gtk_helper.mli
+++ b/src/plugins/gui/gtk_helper.mli
@@ -326,7 +326,7 @@ val source_files_chooser:
of the selected file. Replaces GToolbox.select_file that has not been
ported to lablgtk3.
- @since Frama-C+dev
+ @since 19.0-Potassium
*)
val select_file:
?title:string -> ?dir:(string ref)-> ?filename:string -> unit -> string option