diff --git a/Makefile b/Makefile
index a266f6654e521d6baf1b2a03854979b10d178c84..0b72dbe8b64486d1f19417a0f274601fe48c1c1e 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@
# #
# This file is part of the Frama-C's MetACSL plug-in. #
# #
-# Copyright (C) 2018-2024 #
+# Copyright (C) 2018-2025 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/MetAcsl.ml b/MetAcsl.ml
index abb2b1d501ea5e118f4a8009a790b05c87983748..2b6b10d3cfc3a5f0d8cff365f388c9e128ac9d4b 100644
--- a/MetAcsl.ml
+++ b/MetAcsl.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/deduce/model.slog b/deduce/model.slog
index 14ca1a3e36576bec9495251a17321a900433fc33..bffa61ce43a50d0f7f73bfb37f80a0aa790c0d61 100644
--- a/deduce/model.slog
+++ b/deduce/model.slog
@@ -2,7 +2,7 @@
% %
% This file is part of the Frama-C's MetACSL plug-in. %
% %
-% Copyright (C) 2018-2024 %
+% Copyright (C) 2018-2025 %
% CEA (Commissariat à l'énergie atomique et aux énergies %
% alternatives) %
% %
diff --git a/deduce/run.pl b/deduce/run.pl
index 50cfab93a57cd5f5a915c96bc30873bc7648d035..261eba6ff65e6904fbde0c82daabfc8b303e0dc7 100755
--- a/deduce/run.pl
+++ b/deduce/run.pl
@@ -4,7 +4,7 @@
% %
% This file is part of the Frama-C's MetACSL plug-in. %
% %
-% Copyright (C) 2018-2024 %
+% Copyright (C) 2018-2025 %
% CEA (Commissariat à l'énergie atomique et aux énergies %
% alternatives) %
% %
diff --git a/deduce/setlog.pl b/deduce/setlog.pl
index 7bcbcb064a27c8fe5888780426e76bdc4cdb0c03..f48926d9916673ff83fa0cd7b61ee2d53b36090e 100644
--- a/deduce/setlog.pl
+++ b/deduce/setlog.pl
@@ -7,6 +7,7 @@
% Revised March 2017 %
% %
% File modified by CEA List %
+% %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% VERSION 4.9.1-20
diff --git a/deduce/setlog_rules.pl b/deduce/setlog_rules.pl
index 464a2708b30902cd0c4696eb1f746007acc7ec47..98ba17000e45a9a6e92580dfb9671661ec19dec3 100644
--- a/deduce/setlog_rules.pl
+++ b/deduce/setlog_rules.pl
@@ -5,6 +5,7 @@
% April 2014 %
% %
% Revised March 2017 %
+% %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
diff --git a/deduce/setloglib.slog b/deduce/setloglib.slog
index 31371a1386fbb1eea34e1a1eae5df253f195829b..d9017dbc87caef17da4a3263b99cbe40ffb7eb0c 100644
--- a/deduce/setloglib.slog
+++ b/deduce/setloglib.slog
@@ -5,6 +5,7 @@
% April 2014 %
% %
% Revised March 2017 %
+% %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% version 4.6.13-1
diff --git a/dev/release.sh b/dev/release.sh
index 3c1ece8ce58cfc5b21f8efed92ca40216b756f86..2acba9b795a32235fb804be0ccc79ceff525579a 100755
--- a/dev/release.sh
+++ b/dev/release.sh
@@ -3,7 +3,7 @@
# #
# This file is part of the Frama-C's MetACSL plug-in. #
# #
-# Copyright (C) 2018-2024 #
+# Copyright (C) 2018-2025 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/dune b/dune
index fd1b1c21bd98f6fc4c262dd0ed150782fc3daeeb..815c5d3ead0a1415528d7e89aeccbc66c1c7052b 100644
--- a/dune
+++ b/dune
@@ -2,7 +2,7 @@
;; ;;
;; This file is part of the Frama-C's MetACSL plug-in. ;;
;; ;;
-;; Copyright (C) 2018-2024 ;;
+;; Copyright (C) 2018-2025 ;;
;; CEA (Commissariat à l'énergie atomique et aux énergies ;;
;; alternatives) ;;
;; ;;
diff --git a/dune-project b/dune-project
index 00852c623f751f0bad95fc9468bdc0919b02338e..50ffc05c6f2b1c54698ecf38b2a0296b6673706c 100644
--- a/dune-project
+++ b/dune-project
@@ -3,7 +3,7 @@
;; ;;
;; This file is part of the Frama-C's MetACSL plug-in. ;;
;; ;;
-;; Copyright (C) 2018-2024 ;;
+;; Copyright (C) 2018-2025 ;;
;; CEA (Commissariat à l'énergie atomique et aux énergies ;;
;; alternatives) ;;
;; ;;
diff --git a/headers/closed-source/CEA_LGPL_OR_PROPRIETARY.META b/headers/closed-source/CEA_LGPL_OR_PROPRIETARY.META
index a2519a5c299c98cbce06ed10a76531e75c891899..864fd1ed4a9809739f6a5f6ac27064ff75eb02ef 100644
--- a/headers/closed-source/CEA_LGPL_OR_PROPRIETARY.META
+++ b/headers/closed-source/CEA_LGPL_OR_PROPRIETARY.META
@@ -1,7 +1,7 @@
This file is part of the Frama-C's MetACSL plug-in.
-Copyright (C) 2018-2024
+Copyright (C) 2018-2025
CEA (Commissariat à l'énergie atomique et aux énergies
alternatives)
diff --git a/headers/header_config.txt b/headers/header_config.txt
index 6f727c5376fc2806b8b3236cb12d2e379a9ef18c..38741c3e5dcbfce08b90ca6407205fff56dfcd2a 100644
--- a/headers/header_config.txt
+++ b/headers/header_config.txt
@@ -2,7 +2,7 @@
# #
# This file is part of the Frama-C's MetACSL plug-in. #
# #
-# Copyright (C) 2018-2024 #
+# Copyright (C) 2018-2025 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/headers/open-source/CEA_LGPL_OR_PROPRIETARY.META b/headers/open-source/CEA_LGPL_OR_PROPRIETARY.META
index 301da57c642d3aa651bced54aacadc28756d1a5a..9db7404e8759b35efb995a6d4fea6ba5ac575d06 100644
--- a/headers/open-source/CEA_LGPL_OR_PROPRIETARY.META
+++ b/headers/open-source/CEA_LGPL_OR_PROPRIETARY.META
@@ -1,7 +1,7 @@
This file is part of the Frama-C's MetACSL plug-in.
-Copyright (C) 2018-2024
+Copyright (C) 2018-2025
CEA (Commissariat à l'énergie atomique et aux énergies
alternatives)
diff --git a/meta_annotate.ml b/meta_annotate.ml
index 9f6fce64188d7b44e9b81c3b0c54af7203ae3744..4aa67b19d4ceb1e273a64932fc7e76ec3baf26fa 100644
--- a/meta_annotate.ml
+++ b/meta_annotate.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_annotate.mli b/meta_annotate.mli
index a9fe4dcd72a866b3b85c818c3e88ed844866d2d7..10844327958ec40ed649fee8ff37e96098a4c7ed 100644
--- a/meta_annotate.mli
+++ b/meta_annotate.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_bindings.ml b/meta_bindings.ml
index f37607f53c8b9dda3206e099973857eba5e92aa3..1d23d7292755808aaba1666be9930b0b16883168 100644
--- a/meta_bindings.ml
+++ b/meta_bindings.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_bindings.mli b/meta_bindings.mli
index e74f1ad5f413c6c61a6f873ab9db9d7a6d7a5621..da8b35c1b8b1e047673e03a8d0e2ceffd2dcd3f9 100644
--- a/meta_bindings.mli
+++ b/meta_bindings.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_deduce.ml b/meta_deduce.ml
index 7d82f6e8a8ba3e2a6d7de09c495904e5919bade7..0c0b0581799a1f91bf9d632b5cba6f55c704d6c4 100644
--- a/meta_deduce.ml
+++ b/meta_deduce.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_deduce.mli b/meta_deduce.mli
index 250661907e2683f8c800c3168ee3902670d242e1..4a1dac0c68cd804c829f2afb670312711e8ca12f 100644
--- a/meta_deduce.mli
+++ b/meta_deduce.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_dispatch.ml b/meta_dispatch.ml
index 2eb4bcb0eb670eacc0ba07898e70d18a5e0b7e6a..1059661203f97abb8d3966ab5c778ff092c4c52d 100644
--- a/meta_dispatch.ml
+++ b/meta_dispatch.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_dispatch.mli b/meta_dispatch.mli
index bcfd1abd58894d43f6a374515d7bbf8f0c2c8358..861b2fbcfc7c6227b57d56e00be6d7104cef0882 100644
--- a/meta_dispatch.mli
+++ b/meta_dispatch.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_options.ml b/meta_options.ml
index 43e2df208df6a76a70e0386997dabeec409ad2bc..fc26a833ce899d6ab1d4135616755576afe889e0 100644
--- a/meta_options.ml
+++ b/meta_options.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_options.mli b/meta_options.mli
index 3f67af5fb5110f336effe47ff0583b29c6a107d4..1402b249a8d50d8019eda404a03d966ad336c420 100644
--- a/meta_options.mli
+++ b/meta_options.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_parse.ml b/meta_parse.ml
index c0994c9c7dda7a31c43777680507ef00dc2feccf..31007e4e3b4b4a139f71c16a6ae771a1f416186a 100644
--- a/meta_parse.ml
+++ b/meta_parse.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_parse.mli b/meta_parse.mli
index b3ef6c309fa84d82f9de270c9487f04e5c1249e3..65875ec94466cfc1323adc62a79fe4cb8acfbff3 100644
--- a/meta_parse.mli
+++ b/meta_parse.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_run.ml b/meta_run.ml
index 1763f5e77f50440e1eb497a0666e2d4778cbe148..c2ac917d9a8294f6311f28a4b1573977743f5b8c 100644
--- a/meta_run.ml
+++ b/meta_run.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_run.mli b/meta_run.mli
index 2a150e49f835978f079d9c8a919d19fb6494220b..f2303133ff6a651e3628ae8f10c286af86201630 100644
--- a/meta_run.mli
+++ b/meta_run.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_simplify.ml b/meta_simplify.ml
index 220f09bf276de30ffa66cafdc3cd604d7d4ba7e1..2824ba20eb292e0e1698002f6db658cb49c94187 100644
--- a/meta_simplify.ml
+++ b/meta_simplify.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_simplify.mli b/meta_simplify.mli
index ef6dc4241704cc4deb9ea3e05d1b577acf89531b..2a8600ce7e774eb15d04e242852926686ece9c58 100644
--- a/meta_simplify.mli
+++ b/meta_simplify.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_utils.ml b/meta_utils.ml
index e24d3711525f1d056217798c5381e88739d26c52..aa323ae0a5d31baef3648b48c9431d716d8a64fd 100644
--- a/meta_utils.ml
+++ b/meta_utils.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/meta_utils.mli b/meta_utils.mli
index 9e81091edfbbcd7cf5a96863a25108303fd21651..1dd59f7e0332098218e6914c18267205acb48c4d 100644
--- a/meta_utils.mli
+++ b/meta_utils.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/proofs/meta_model.why b/proofs/meta_model.why
index 2082ddce9faefa3cd5ac6c5b2ba61de26b1da55c..048700e76470cbe944ca73141caf9acd3fbfd376 100644
--- a/proofs/meta_model.why
+++ b/proofs/meta_model.why
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's MetACSL plug-in. *)
(* *)
-(* Copyright (C) 2018-2024 *)
+(* Copyright (C) 2018-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)