diff --git a/src/plugins/e-acsl/E_ACSL.mli b/src/plugins/e-acsl/E_ACSL.mli
index d6d9aa9833290d36583e44637995e398d2fbe80e..882509a85b3d52c054ba6ed3199c6e1ef016307a 100644
--- a/src/plugins/e-acsl/E_ACSL.mli
+++ b/src/plugins/e-acsl/E_ACSL.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 9cab3d4490a7dbbf97193f3e49832bd7b3991e79..8bfa6aa9f51ab92b34b9ca2abd70cc564130bc97 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -2,7 +2,7 @@
# #
# This file is part of the Frama-C's E-ACSL plug-in. #
# #
-# Copyright (C) 2012-2021 #
+# Copyright (C) 2012-2022 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index a061b4b3e9530d9a142ca4f9b9e1a8fba34bd0b1..24bceba8839c8bf604345cfbcb394d803b016496 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -2,7 +2,7 @@
# #
# This file is part of the Frama-C's E-ACSL plug-in. #
# #
-# Copyright (C) 2012-2021 #
+# Copyright (C) 2012-2022 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/src/plugins/e-acsl/headers/close-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL b/src/plugins/e-acsl/headers/close-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL
index 5ac5606a79d128ce336064ca87338c2b1691d948..4871c0697590002454fb0af05675a14abed87fb4 100644
--- a/src/plugins/e-acsl/headers/close-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL
+++ b/src/plugins/e-acsl/headers/close-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL
@@ -1,7 +1,7 @@
This file is part of the Frama-C's E-ACSL plug-in.
-Copyright (C) 2012-2021
+Copyright (C) 2012-2022
CEA (Commissariat à l'énergie atomique et aux énergies
alternatives)
diff --git a/src/plugins/e-acsl/headers/open-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL b/src/plugins/e-acsl/headers/open-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL
index 927533bb92a0b264b158d5af1fd6b071f87124a8..f73ee83ccb2218c34420da2c9ddec9ce35e8d735 100644
--- a/src/plugins/e-acsl/headers/open-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL
+++ b/src/plugins/e-acsl/headers/open-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL
@@ -1,7 +1,7 @@
This file is part of the Frama-C's E-ACSL plug-in.
-Copyright (C) 2012-2021
+Copyright (C) 2012-2022
CEA (Commissariat à l'énergie atomique et aux énergies
alternatives)
diff --git a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1 b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
index c8b71244e57cb02603ea5cc5931f7acfbb4e6d91..40f17ce2d200d200be5b7dff338b12d3c72280e5 100644
--- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
@@ -2,7 +2,7 @@
.\"
.\" This file is part of the Frama-C's E-ACSL plug-in.
.\"
-.\" Copyright (C) 2012-2021
+.\" Copyright (C) 2012-2022
.\" CEA (Commissariat à l'énergie atomique et aux énergies
.\" alternatives)
.\"
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 39a7f3f6079bdd29da4c1d81399742ddb7891029..57b92420541ec6f345e668b2c1d37297142208e6 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -3,7 +3,7 @@
# #
# This file is part of the Frama-C's E-ACSL plug-in. #
# #
-# Copyright (C) 2012-2021 #
+# Copyright (C) 2012-2022 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp
index face0dc29f108a243a102746c5cee249d4d5c4a2..95d9551540daf9007bbcd80f3ab8462d0eee0ca5 100644
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp
@@ -2,7 +2,7 @@
# #
# This file is part of the Frama-C's E-ACSL plug-in. #
# #
-# Copyright (C) 2012-2021 #
+# Copyright (C) 2012-2022 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl.h b/src/plugins/e-acsl/share/e-acsl/e_acsl.h
index 3268406ec60ae4fd2aab57c995f34bb4f7d612c2..ca8fa7c6c5721f087ff40db892ccfbd3d411b44b 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c b/src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c
index 1420b682afab6e797934335ff2b188b08cf0ff28..a812a227b5a6ae34d34e51c902419760446a8220 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
index 494e869d14c900dbad98a96c5c0f808f408113e0..d407cae2137f94e32db72af3c87e820b3ac5d324 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h
index b211cb53edeb5f80232cac97aa0569b4b5776a4f..d33b76e294a48ed9de9f00233bc0b0fd80e3bdd3 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data.h b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data.h
index aa94970d5ceaccc64dceb6cb373404835d9310e8..538451f3bb7f1a078bd32c98e639a350b12c97be 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data.h
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.c b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.c
index 0e258dd7f1d9ec3435db10ec14596ae9c6464e4b..e8d5c316029f7104030069595afaec4010834d3c 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.c
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.h b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.h
index dcc87a6cc14555d0155a4188324e3f31e3a1bd42..770b0be362187384ec94094ec8b7c6fc22368221 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.h
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert_data_api.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.c b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.c
index ac5398a8b9ffa022888141986a0131ceaec93531..30f2f58afd5ef3698c5b3eb5dbb4e30c6778d516 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.c
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h
index ff744033dba793e7f964ca7460f8aa5cf95ee038..b84ff92ce36b7c1179ef701fb07debb65910593f 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c
index 65c86d9221fbe71c1d27b9a28e4fe83757db2150..e19a8453588976dfb06795505ba1efd495128ab6 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.h b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.h
index ec3819faffe82a1892b43ccbec3e4ce3db5e7aaa..dcd103cd7077603d274ebde6ce7ebfc08bf52248 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.h
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h
index b0c1842e45722e1d58fdd540260d9667732e00ee..98c2b4c41d3418a25e774e8f3a2c52ee62e1b8ec 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_alias.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_alias.h
index 862637b6c05652771820374a5683f4336b594a78..3555101f27387246f0ea54deda889234116c8538 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_alias.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_alias.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.c
index 551f4df68da77107cd71e6cfd03c955d447d7da7..fc62f94d2ae0641dae37b417a84343b7339094a5 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.h
index a62296665f46fb2b4df4eb9ffb03a2ca14d595d5..4d919892a30a229e537a9338b0bb8ba098ff1ea7 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_bits.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_concurrency.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_concurrency.h
index 4961dd4466d715e5b50fd8c8ddbb843d56773d44..e462a752d083a66e6e0d571a66c4b996104787c9 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_concurrency.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_concurrency.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_config.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_config.h
index 08d9f62ece4a40aef87c928727dded03ffa0db3b..089ed631d4a12e7df4b605dc5d4b184307001697 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_config.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_config.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c
index 15ce0534410b77b8e6d1243729782df88712682c..1398902ece315f7df7b093058d9b59fb929f5bb3 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.h
index 38d95dac2d2e48e29dd613d9f2b98a3af60a9dae..496bc7f87e78372fb6deb39318bc2b5e4a022158 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.c
index b2d2c5fbd2c80412164ffacfd7a4ca3bc839ed05..5184161e13f472d31d49825f25c9e516c91c4c77 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.h
index 57505489d1d105bbf665dce92e122160f7d2b964..7288fc0d4cfaf393ecd14769b1f3ab5ee09fa22b 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.c
index b4ca88e1fe53d47bd84ed749d302dbd60d13e144..dedfd294867bec2577eb70bb53128972991912d0 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.h
index a07cd94ffdd14cef17e7eb8c5a32c10750e4379f..8784a1a25d0159f58387287627d7597988bec4c0 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.c
index a0fb18fc2c3dce5cc1fc37aec7e42f4584ce0d33..e36344ae9c53299ed404420fc24cb390be552b59 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.h
index 5d76e692216adecea34b4beac4485b502e615c07..162146e6c0d4a3586c3aecacfd02fb2a108c5ecb 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.c
index 52ab27fe17c760632056c222be4952b0ecb837c4..823b49aeb2c1151aa000cf036842d7ec06d7b586 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.h
index 0f1e6f5c5ddcb955187ac6b3d274f1be2bc1e3e7..da35bb83d9cf3c69211153a6ab8ba188545a2ef7 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_string.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.c
index fcf75f90ebb572d308f1c5c63d6ef18a3b9a346b..e67e3630859194b121e9040babf54cf0a252ddfe 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.h
index 41ee07d4b6c22d000b0046377dfc29678f737b45..bbe6fc38f5a0e08b4548d70795034a727969fc31 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c
index 631322b98267a0362a4f8eda700fdf3dd27e3450..7cc59dd131c6d03224f23ad16923e71fb6c23d8c 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.h b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.h
index 251be37d2eb015fb86cf7d84a1e439a9573f591c..9d543c2de7f37935f7b548ce3ec68cc4fcf3adc3 100644
--- a/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.h
+++ b/src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.c b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.c
index a51d11dd8099891088417757ccbd5b690da77cca..7bd9a9ea3ce9f068aefc2e025542969fd580fec5 100644
--- a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.c
+++ b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.h b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.h
index 17985fb9551b6d19469590758b0d511a9e4f7061..9f6f0bc304667d9d857a7f40e14ee3b359a7d61e 100644
--- a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.h
+++ b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.c b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.c
index c2d07a7a2d9499ce4c39e88942530527a2e75a42..a57616baaba48213686b250779a90cae8ec32822 100644
--- a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.c
+++ b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.h b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.h
index 6f1abc90ed4cfc2ee11541bcc3fa827018dea8b9..2a9e5a788fbd6af84f717d7248d556e953c48894 100644
--- a/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.h
+++ b/src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.c b/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.c
index 4c1738332fcd47eb4c5c447a4e12c2ba052daa00..e9624194beb4e6f99c6449d857a3b06723158eaf 100644
--- a/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.c
+++ b/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.h b/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.h
index 9e01b9fd9d1dbf21b7aa8dbbe6b92beecf2623ea..8b5596bfc8f694063558a050fb7fecb0f423886d 100644
--- a/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.h
+++ b/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_gmp_api.h b/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_gmp_api.h
index b2a8547e204b58e0d526331c816c3c64013e6295..48378f8a22f1b09f198162f66ef5986810a8dc05 100644
--- a/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_gmp_api.h
+++ b/src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_gmp_api.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.c b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.c
index 21495817006d41613d4629a6ec55bcc53409c3ce..34a1b3fa0ffde0a32ba761d4507258cee64a4286 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.h b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.h
index 710226ace6248a898039b34a7dd9d8556524e616..5d5f8a89875e3aa81364db6ccc67eab8bb1759b4 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c
index 4a68035f8c2dcabe21588acda40da18af398b203..c7490ed2eaad208d9069a4c535f151604671fab8 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_omodel_debug.c b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_omodel_debug.c
index ae3b17ba772b41a3d7f0268744727d17c22f52f0..fa417730457847fd91a330c11e4b8cb8148fc406 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_omodel_debug.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_omodel_debug.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_timestamp_retrieval.c b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_timestamp_retrieval.c
index 12a252d074056d2f70e9e0599582c201c33ea9fc..b055945521520dc811b9230afbc366f58e291472 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_timestamp_retrieval.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_timestamp_retrieval.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.c b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.c
index cb4fb4f471458645b40b6cc8ff55f0455eb4630a..83287fab285af6c4d27b9663694d064b038d9685 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.h b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.h
index a1d787d542914ff6524d2397f964b67b036689c9..59025aeeb8f1cab260c6ff64cc634d460d8bceb1 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.c b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.c
index 88c7501c2c04597650779e3fae9500678f9d4db4..72be9f9c89fb182985a90502e053465a2925ce8a 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.h b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.h
index c465c3b09d98cc8c45ac5a0f1e5fb301e17af6c0..63c4035e6a49225a0b15422294f4b42bdf744a3e 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.c b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.c
index cca4782b1ace89e1c51aa26200e184c62af957bc..abc336dc5acd42453de72a2d8ba8077dd06ec4d5 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.h b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.h
index b7d5d0d48569bbe52e51484e74cad4db0991ad90..cb781d8331f6ed50aecb9d0e68cb529c942891a7 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_heap_tracking.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_omodel_debug.h b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_omodel_debug.h
index 8a0360fa13d6bc415ad8f577dbb0490889e5a8e9..0bea0de23460bd616139ae76c69a8ae49371a270 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_omodel_debug.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_omodel_debug.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.c b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.c
index 4872e5ce2bfbf0fcf5a8388f423367ca4b9ca043..b3b49963523eb34fa1c2d0efd1c226e3b39867ba 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.h b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.h
index 63a050271a909260468450edc05bc772a1ca433e..5164a751bb824adbea1ced058b2136da7c264e34 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_patricia_trie.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.c b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.c
index 6e0d5403e95fe600ef421349c21dbfa62d829120..de070d195ab3c4b4dc40173781c523acabb4ce86 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.h b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.h
index f77a3ca4c0f7890abe4da678cd129552219cc315..60d585302a9f09e3ad4b2062924ebb95537a27bc 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_timestamp_retrieval.h b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_timestamp_retrieval.h
index 778d7afd7d729c7a0e209d89bc8ba34f20a1714b..5053ea8b4c61dfac52dde4a39b2ae425127ad990 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_timestamp_retrieval.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_timestamp_retrieval.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_observation_model.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_observation_model.c
index c04006b9e98c9e6e8607d83afdc1f636cdc3a22a..e2549767dc777a22697d2ec036191fdf03800e62 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_observation_model.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_observation_model.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_omodel_debug.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_omodel_debug.c
index 72c185431409229b21b29415221141c457b973f5..86cc88f7a03710f2a687fa47f28ba7d63e1178c3 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_omodel_debug.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_omodel_debug.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_timestamp_retrieval.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_timestamp_retrieval.c
index b3d6b199eafa7d1d2481eda6f448998f49b7566b..88b74b7271c073becdcfaa0cf055830d2a7cce14 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_timestamp_retrieval.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_timestamp_retrieval.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c
index 04472763c8e6f3bbf20aa6a556f07322fef3e077..608c3bf745430f67205aadd40206e6f869dace2a 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h
index de93d8999bf64a8b9f78535b2f9819e13c9f10d7..7a442d0c80c178a38d0aad1de892bb6eef4c065a 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.c
index 3d92f1977f81bc31634a6c04888742941d62047f..7d1313c4f9c4a1c983aad54bcea26242edad2095 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.h b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.h
index 73debfe97a012dfd45e06091ea398b5e5b8b42f6..45be9aaa68ffd6e5826b882b1594b2aa4519dbcb 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c
index 15870873f1afe6e642d76b62ec3760a7d881f700..51ff459c57b2c8fe139084cab6200c2113b72717 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h
index 5a7bf7272c4637f4605e4266535b5b816b44c400..abeb6c7236a718a7cacab4e706ed8e75c36f620c 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2021 */
+/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/src/analyses/analyses.ml b/src/plugins/e-acsl/src/analyses/analyses.ml
index eeaa2dc9da43da2b12e3c869d07b65738c80e633..181ceceaf62a23ff199dcecfc03d2790e4b23374 100644
--- a/src/plugins/e-acsl/src/analyses/analyses.ml
+++ b/src/plugins/e-acsl/src/analyses/analyses.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/analyses.mli b/src/plugins/e-acsl/src/analyses/analyses.mli
index fe4859129ab9b0317a940d90dd21cbad9b160e81..5e92714a1995742ddd3f0f62601e106d07b7e3e4 100644
--- a/src/plugins/e-acsl/src/analyses/analyses.mli
+++ b/src/plugins/e-acsl/src/analyses/analyses.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/analyses_datatype.ml b/src/plugins/e-acsl/src/analyses/analyses_datatype.ml
index 99645c1fefece09541eeab47ee7f74a0e3412235..4f71c453951d14e6436b532b44a12a55d52d534b 100644
--- a/src/plugins/e-acsl/src/analyses/analyses_datatype.ml
+++ b/src/plugins/e-acsl/src/analyses/analyses_datatype.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/analyses_datatype.mli b/src/plugins/e-acsl/src/analyses/analyses_datatype.mli
index 097cd6c01dff9a1362159430168823edee7e681d..7b19f984097738c2225a969ed1dc507f9b84ca35 100644
--- a/src/plugins/e-acsl/src/analyses/analyses_datatype.mli
+++ b/src/plugins/e-acsl/src/analyses/analyses_datatype.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/analyses_types.mli b/src/plugins/e-acsl/src/analyses/analyses_types.mli
index 54a1a7811033753afb1cd7445ffa76c68fb31ad7..06f9eddb5a09fb4cbe80497516bef543e1ee6cdc 100644
--- a/src/plugins/e-acsl/src/analyses/analyses_types.mli
+++ b/src/plugins/e-acsl/src/analyses/analyses_types.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/bound_variables.ml b/src/plugins/e-acsl/src/analyses/bound_variables.ml
index a6d9c51b5a27682162e9a05e6662b1ec3dd4ac3a..5199e4e66877841833130e726765a884a73618c8 100644
--- a/src/plugins/e-acsl/src/analyses/bound_variables.ml
+++ b/src/plugins/e-acsl/src/analyses/bound_variables.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/bound_variables.mli b/src/plugins/e-acsl/src/analyses/bound_variables.mli
index 233d77ef6d7843d59e48d5756a02c8bd9d7f7b22..7c1b9660128af0371f5f7c84bc2916fb8e96ab9f 100644
--- a/src/plugins/e-acsl/src/analyses/bound_variables.mli
+++ b/src/plugins/e-acsl/src/analyses/bound_variables.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/e_acsl_visitor.ml b/src/plugins/e-acsl/src/analyses/e_acsl_visitor.ml
index b5dd27c351e3c552616af1c16f8d0ae865d6e09e..6381e84a9b85ff8861db8d1a83070d946007e750 100644
--- a/src/plugins/e-acsl/src/analyses/e_acsl_visitor.ml
+++ b/src/plugins/e-acsl/src/analyses/e_acsl_visitor.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/e_acsl_visitor.mli b/src/plugins/e-acsl/src/analyses/e_acsl_visitor.mli
index 30e62a8eb27ba4f528a62d3f3bda1a8f13b0be5a..0338acc46d6e3b8ef7b4374ec96ab1263aa42a98 100644
--- a/src/plugins/e-acsl/src/analyses/e_acsl_visitor.mli
+++ b/src/plugins/e-acsl/src/analyses/e_acsl_visitor.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/exit_points.ml b/src/plugins/e-acsl/src/analyses/exit_points.ml
index 7ad18f7575ec73a6863573f34d3c9673b8833a9d..60cda2654cf1986aa1884088c14b3c1530c48cdc 100644
--- a/src/plugins/e-acsl/src/analyses/exit_points.ml
+++ b/src/plugins/e-acsl/src/analyses/exit_points.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/exit_points.mli b/src/plugins/e-acsl/src/analyses/exit_points.mli
index 67d642e09bda629da4c6a04981e40a0fd69c0cc7..8cf1b2a13a020cfae9f3f6616b575b3ac122c969 100644
--- a/src/plugins/e-acsl/src/analyses/exit_points.mli
+++ b/src/plugins/e-acsl/src/analyses/exit_points.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/interval.ml b/src/plugins/e-acsl/src/analyses/interval.ml
index 432fa1dd21f52a65bdc018ab89267bedbbdcb2b4..86bcf2fb9a0eeb50b2baca1349ac9b18d3739451 100644
--- a/src/plugins/e-acsl/src/analyses/interval.ml
+++ b/src/plugins/e-acsl/src/analyses/interval.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/interval.mli b/src/plugins/e-acsl/src/analyses/interval.mli
index 597a804c660e39b6f0515d1b5049c619cd200c36..ce2b899276fde8941cdc505c7f74f87d2d14c284 100644
--- a/src/plugins/e-acsl/src/analyses/interval.mli
+++ b/src/plugins/e-acsl/src/analyses/interval.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/labels.ml b/src/plugins/e-acsl/src/analyses/labels.ml
index ac331df4d8f01b835ca9c4b83847e9d090758caf..ab839f8f8f668fc5635566ce9b58859e3ee88caa 100644
--- a/src/plugins/e-acsl/src/analyses/labels.ml
+++ b/src/plugins/e-acsl/src/analyses/labels.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/labels.mli b/src/plugins/e-acsl/src/analyses/labels.mli
index a53f15aa67246ba3ba72fb7e2e75d47c0ef5499c..10cffc5a8eca8a58e8707e204f7419ad3a3f9b9f 100644
--- a/src/plugins/e-acsl/src/analyses/labels.mli
+++ b/src/plugins/e-acsl/src/analyses/labels.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/literal_strings.ml b/src/plugins/e-acsl/src/analyses/literal_strings.ml
index 1b8f2c40151e3403b400647fa90d781013a30960..c3117bd4907c0cadf81bb44946c2137ceb65ae7e 100644
--- a/src/plugins/e-acsl/src/analyses/literal_strings.ml
+++ b/src/plugins/e-acsl/src/analyses/literal_strings.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/literal_strings.mli b/src/plugins/e-acsl/src/analyses/literal_strings.mli
index 4de73d67d1f4c0f4db80ed20fdd548c833be37dc..7a9cf013bcaf3abdbe63fd110683793c2f0b263b 100644
--- a/src/plugins/e-acsl/src/analyses/literal_strings.mli
+++ b/src/plugins/e-acsl/src/analyses/literal_strings.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/logic_normalizer.ml b/src/plugins/e-acsl/src/analyses/logic_normalizer.ml
index e804f513e96e26f8a302fc25488d3af68250b3fb..7d4922a47626e3532ff7556a399060181abefda7 100644
--- a/src/plugins/e-acsl/src/analyses/logic_normalizer.ml
+++ b/src/plugins/e-acsl/src/analyses/logic_normalizer.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/logic_normalizer.mli b/src/plugins/e-acsl/src/analyses/logic_normalizer.mli
index ed2aa084552166b458774a72c56ae361c9a57ef8..b1172c4f48f5d56c15548267581001dbe04e69f6 100644
--- a/src/plugins/e-acsl/src/analyses/logic_normalizer.mli
+++ b/src/plugins/e-acsl/src/analyses/logic_normalizer.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/lscope.ml b/src/plugins/e-acsl/src/analyses/lscope.ml
index 331cb1c4ca5fcdb9877faa9deddeba3b61d1c470..7b7f6b264b33500f6ac64f0b820edb2deb0d2782 100644
--- a/src/plugins/e-acsl/src/analyses/lscope.ml
+++ b/src/plugins/e-acsl/src/analyses/lscope.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/lscope.mli b/src/plugins/e-acsl/src/analyses/lscope.mli
index a3f357a22ee5a8d28e4b9eee5e8c0e1990c6992b..504359c509f826ac1a3e2a7541674d3e9c57c018 100644
--- a/src/plugins/e-acsl/src/analyses/lscope.mli
+++ b/src/plugins/e-acsl/src/analyses/lscope.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/memory_tracking.ml b/src/plugins/e-acsl/src/analyses/memory_tracking.ml
index 6237f181b579e3b38f5488aff9f9ab2e8b3911c1..9567ecc3fe2f94115cbe8823e771c2aacc03a7bb 100644
--- a/src/plugins/e-acsl/src/analyses/memory_tracking.ml
+++ b/src/plugins/e-acsl/src/analyses/memory_tracking.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/memory_tracking.mli b/src/plugins/e-acsl/src/analyses/memory_tracking.mli
index 4a90e24f50be985bf9297ab59833a57748e989df..7a25c27b6fde61e9dfa37ab923c170e3778573c4 100644
--- a/src/plugins/e-acsl/src/analyses/memory_tracking.mli
+++ b/src/plugins/e-acsl/src/analyses/memory_tracking.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/rte.ml b/src/plugins/e-acsl/src/analyses/rte.ml
index 9423934d182ab3a43eab1276d36956bc36a3b407..f542d1fee0f3b61efdb847350a3b0cbed9d89db5 100644
--- a/src/plugins/e-acsl/src/analyses/rte.ml
+++ b/src/plugins/e-acsl/src/analyses/rte.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/rte.mli b/src/plugins/e-acsl/src/analyses/rte.mli
index 2d38b61cd01c27b55a288544ec7b545fffd2ecbf..f4697989d10357fe1a6b3f994e835612c549e232 100644
--- a/src/plugins/e-acsl/src/analyses/rte.mli
+++ b/src/plugins/e-acsl/src/analyses/rte.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/typing.ml b/src/plugins/e-acsl/src/analyses/typing.ml
index b3cb3df086f64f59ce1cbbb51239726f9069ac88..d4022ccc0b1b038eddc2b4324531bbb5bda60532 100644
--- a/src/plugins/e-acsl/src/analyses/typing.ml
+++ b/src/plugins/e-acsl/src/analyses/typing.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/typing.mli b/src/plugins/e-acsl/src/analyses/typing.mli
index 0b91ab6a295cf8ffe3e6abe5c739a73d04845372..2c7a84796c1be164376fe205791751e4f5ab0627 100644
--- a/src/plugins/e-acsl/src/analyses/typing.mli
+++ b/src/plugins/e-acsl/src/analyses/typing.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/assert.ml b/src/plugins/e-acsl/src/code_generator/assert.ml
index d44043c3078d95f556e94a86bb303b69fca6fe6a..f585a3caf6ac30e07443d8c51b6c798551501762 100644
--- a/src/plugins/e-acsl/src/code_generator/assert.ml
+++ b/src/plugins/e-acsl/src/code_generator/assert.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/assert.mli b/src/plugins/e-acsl/src/code_generator/assert.mli
index e0eeda7767ad08ffdbe7dd5b8a9f0ba0843295c5..2861f3d3d821c2abf96fb85ca20a430f806bf651 100644
--- a/src/plugins/e-acsl/src/code_generator/assert.mli
+++ b/src/plugins/e-acsl/src/code_generator/assert.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/assigns.ml b/src/plugins/e-acsl/src/code_generator/assigns.ml
index 51e7f01a4601d950b2968476272a85eaca8a5b6d..eaa80b49e8f8e2682faa4c3d36b8bd9b3148d362 100644
--- a/src/plugins/e-acsl/src/code_generator/assigns.ml
+++ b/src/plugins/e-acsl/src/code_generator/assigns.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/assigns.mli b/src/plugins/e-acsl/src/code_generator/assigns.mli
index e7abdb52055d433bb49780a0d20630cfe84d70bd..c245cd4de580cb26a4dd2a241cacc02c913f2540 100644
--- a/src/plugins/e-acsl/src/code_generator/assigns.mli
+++ b/src/plugins/e-acsl/src/code_generator/assigns.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/contract.ml b/src/plugins/e-acsl/src/code_generator/contract.ml
index 7df4b992fbd0d404bcf3aba98403c9195a797062..e2dafa3717c764407fa9490730e0ef3521f604e4 100644
--- a/src/plugins/e-acsl/src/code_generator/contract.ml
+++ b/src/plugins/e-acsl/src/code_generator/contract.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/contract.mli b/src/plugins/e-acsl/src/code_generator/contract.mli
index 8dc2a3a21df5cbc5cb33068721f44f5b412a205c..51fa1c9a9d7e0ada9483d715b0e98c5650215337 100644
--- a/src/plugins/e-acsl/src/code_generator/contract.mli
+++ b/src/plugins/e-acsl/src/code_generator/contract.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/contract_types.mli b/src/plugins/e-acsl/src/code_generator/contract_types.mli
index 6795f366553b6a763c46becac97025ca518ceadf..49923bf4af254cd78adaa8eedf90523dbe9c2958 100644
--- a/src/plugins/e-acsl/src/code_generator/contract_types.mli
+++ b/src/plugins/e-acsl/src/code_generator/contract_types.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/env.ml b/src/plugins/e-acsl/src/code_generator/env.ml
index 505ee2bc23b336f25ab4338945cbabccead2a3da..1bc2d330c57097e2cae47ad1594952f86c93b988 100644
--- a/src/plugins/e-acsl/src/code_generator/env.ml
+++ b/src/plugins/e-acsl/src/code_generator/env.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/env.mli b/src/plugins/e-acsl/src/code_generator/env.mli
index 20583a0fef7d515a3a9ae7bbafc0f27df2ca92ee..da9b818bb86dc6843fb89c87c2d47613aa1ec332 100644
--- a/src/plugins/e-acsl/src/code_generator/env.mli
+++ b/src/plugins/e-acsl/src/code_generator/env.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/global_observer.ml b/src/plugins/e-acsl/src/code_generator/global_observer.ml
index 49f351fd678bac63d9e41680498de74dda3650fc..ad198f407bcaeae854172b4fce6e9a0131411fa7 100644
--- a/src/plugins/e-acsl/src/code_generator/global_observer.ml
+++ b/src/plugins/e-acsl/src/code_generator/global_observer.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/global_observer.mli b/src/plugins/e-acsl/src/code_generator/global_observer.mli
index 41bf628a3f55b5adef1a98265e8bcdae52179a9c..debe4416f28d6d8903dad080fdfd24dadc9158e9 100644
--- a/src/plugins/e-acsl/src/code_generator/global_observer.mli
+++ b/src/plugins/e-acsl/src/code_generator/global_observer.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/gmp.ml b/src/plugins/e-acsl/src/code_generator/gmp.ml
index bda936cba38519ccb159ba03b09ad4ab6fef55c4..b2eec285b37913ed2b79b68042213f990aeb22f2 100644
--- a/src/plugins/e-acsl/src/code_generator/gmp.ml
+++ b/src/plugins/e-acsl/src/code_generator/gmp.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/gmp.mli b/src/plugins/e-acsl/src/code_generator/gmp.mli
index 49cda90fc1221753ec90f99d0ec6f7eb2852b8a5..1028b4701d091436fefe806a4ef6e016b51091e0 100644
--- a/src/plugins/e-acsl/src/code_generator/gmp.mli
+++ b/src/plugins/e-acsl/src/code_generator/gmp.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/injector.ml b/src/plugins/e-acsl/src/code_generator/injector.ml
index ad0d79d1acb046c529fe59081b3b58a08db959f8..dacc80aa94a742b7d86f113c406436023369baf2 100644
--- a/src/plugins/e-acsl/src/code_generator/injector.ml
+++ b/src/plugins/e-acsl/src/code_generator/injector.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/injector.mli b/src/plugins/e-acsl/src/code_generator/injector.mli
index 1473a26b7efe51f067f8eb0dd16ca8b0a61abbdb..f638037f502bc0541bf81ec5f2d09a448e6a38d6 100644
--- a/src/plugins/e-acsl/src/code_generator/injector.mli
+++ b/src/plugins/e-acsl/src/code_generator/injector.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/libc.ml b/src/plugins/e-acsl/src/code_generator/libc.ml
index ac785dbf7b4583be1d39e24356b88c682da9f68c..6d7a2c1b1eb4a8bc9252902e2c519a056b425fcb 100644
--- a/src/plugins/e-acsl/src/code_generator/libc.ml
+++ b/src/plugins/e-acsl/src/code_generator/libc.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/libc.mli b/src/plugins/e-acsl/src/code_generator/libc.mli
index a5323906c402c9a8c765db8034d38feae4be7853..8438d7782dc188f2a33fd04b0ffeeb3d0378ace1 100644
--- a/src/plugins/e-acsl/src/code_generator/libc.mli
+++ b/src/plugins/e-acsl/src/code_generator/libc.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/literal_observer.ml b/src/plugins/e-acsl/src/code_generator/literal_observer.ml
index 517aa9bb62667cb7bf53a492f1bf8dc4b9eb28b7..66e35e146ef7f3eebf460c18f40944f610e21b30 100644
--- a/src/plugins/e-acsl/src/code_generator/literal_observer.ml
+++ b/src/plugins/e-acsl/src/code_generator/literal_observer.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/literal_observer.mli b/src/plugins/e-acsl/src/code_generator/literal_observer.mli
index 826d4480e61728b431c79754e1b6c485e63abe3a..742e845aad0c60957528a17218904243c357354e 100644
--- a/src/plugins/e-acsl/src/code_generator/literal_observer.mli
+++ b/src/plugins/e-acsl/src/code_generator/literal_observer.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/logic_array.ml b/src/plugins/e-acsl/src/code_generator/logic_array.ml
index 571e94bb1d1b19d7f0c360304b5877ef1f47b6a1..56fd4c6518729e0b905b020665da4b68510745eb 100644
--- a/src/plugins/e-acsl/src/code_generator/logic_array.ml
+++ b/src/plugins/e-acsl/src/code_generator/logic_array.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/logic_array.mli b/src/plugins/e-acsl/src/code_generator/logic_array.mli
index d4b74f4a1085356c53a1463438103dad8af57035..98e90fbd32ae0916c8e689bb2e2647bc4d256b00 100644
--- a/src/plugins/e-acsl/src/code_generator/logic_array.mli
+++ b/src/plugins/e-acsl/src/code_generator/logic_array.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/logic_functions.ml b/src/plugins/e-acsl/src/code_generator/logic_functions.ml
index 396a60a119ea184373f456e2f09fb1a5773f3601..1dd94bb94467bea728e9b455ebbba85fcba59c61 100644
--- a/src/plugins/e-acsl/src/code_generator/logic_functions.ml
+++ b/src/plugins/e-acsl/src/code_generator/logic_functions.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/logic_functions.mli b/src/plugins/e-acsl/src/code_generator/logic_functions.mli
index 6c757771aaf47bf770c27a62741ba23cfecd184d..312b1c5d1fb11dbae36a82acff69dcbe33d58ed0 100644
--- a/src/plugins/e-acsl/src/code_generator/logic_functions.mli
+++ b/src/plugins/e-acsl/src/code_generator/logic_functions.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/loops.ml b/src/plugins/e-acsl/src/code_generator/loops.ml
index e37356f2704e5dd37228f8b7b6a87308ce28612f..d656f4bd504e46f5a109f37f29746f1f114c741a 100644
--- a/src/plugins/e-acsl/src/code_generator/loops.ml
+++ b/src/plugins/e-acsl/src/code_generator/loops.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/loops.mli b/src/plugins/e-acsl/src/code_generator/loops.mli
index 9ac68edab8b98aa546a8375d629446e493b044d0..64739fbc061621617aa1dbf1669e1a4510413b92 100644
--- a/src/plugins/e-acsl/src/code_generator/loops.mli
+++ b/src/plugins/e-acsl/src/code_generator/loops.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/memory_observer.ml b/src/plugins/e-acsl/src/code_generator/memory_observer.ml
index 758ada02293078cc75d9cbef00fdf41d76db2890..65445b762662ae38390fc541b956d969fde49fce 100644
--- a/src/plugins/e-acsl/src/code_generator/memory_observer.ml
+++ b/src/plugins/e-acsl/src/code_generator/memory_observer.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/memory_observer.mli b/src/plugins/e-acsl/src/code_generator/memory_observer.mli
index 216988488b021a02bd34d9fcf66893d7c5998cb0..36b3dfe8efff1bdaac84920f9ab07684eb19d332 100644
--- a/src/plugins/e-acsl/src/code_generator/memory_observer.mli
+++ b/src/plugins/e-acsl/src/code_generator/memory_observer.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/memory_translate.ml b/src/plugins/e-acsl/src/code_generator/memory_translate.ml
index c500760a4a1309977dc0b5fabc578f664fcd2ef1..f53b05cc8656dc59496951fe976b510bfef963c5 100644
--- a/src/plugins/e-acsl/src/code_generator/memory_translate.ml
+++ b/src/plugins/e-acsl/src/code_generator/memory_translate.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/memory_translate.mli b/src/plugins/e-acsl/src/code_generator/memory_translate.mli
index 56e09443d74fec1c12ad7d6bba8d3eb37cbce617..6422aca9233290bfe5ddfb2a4d84080b68cc5d8b 100644
--- a/src/plugins/e-acsl/src/code_generator/memory_translate.mli
+++ b/src/plugins/e-acsl/src/code_generator/memory_translate.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/quantif.ml b/src/plugins/e-acsl/src/code_generator/quantif.ml
index 65c42387ff3705d9001348ecc7c2f0cbeef1f309..27a00a7af6bee9a8023f084d874d6797281c1b29 100644
--- a/src/plugins/e-acsl/src/code_generator/quantif.ml
+++ b/src/plugins/e-acsl/src/code_generator/quantif.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/quantif.mli b/src/plugins/e-acsl/src/code_generator/quantif.mli
index 6cbd98861ad11addad89f5ded892ad939020e4f0..fb8eccefe3c992dd474a950b9c3382341ce0ca94 100644
--- a/src/plugins/e-acsl/src/code_generator/quantif.mli
+++ b/src/plugins/e-acsl/src/code_generator/quantif.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/rational.ml b/src/plugins/e-acsl/src/code_generator/rational.ml
index 17f633f25508e25c76b6e8026281030012882fea..4e11ce0f4e4a79c512b78f656aec5700dd1cce3a 100644
--- a/src/plugins/e-acsl/src/code_generator/rational.ml
+++ b/src/plugins/e-acsl/src/code_generator/rational.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/rational.mli b/src/plugins/e-acsl/src/code_generator/rational.mli
index 6cf5a099c0e60985364f854a507e80d9172b9117..84f197cab38f15517f4b84fb2dc11ed975dfab9d 100644
--- a/src/plugins/e-acsl/src/code_generator/rational.mli
+++ b/src/plugins/e-acsl/src/code_generator/rational.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/smart_exp.ml b/src/plugins/e-acsl/src/code_generator/smart_exp.ml
index 11bbe595da24af5eaa69e95251fe8aecc803d33b..bd7c20cc87f4316a8d3a07befb042b97ec5a31ea 100644
--- a/src/plugins/e-acsl/src/code_generator/smart_exp.ml
+++ b/src/plugins/e-acsl/src/code_generator/smart_exp.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/smart_exp.mli b/src/plugins/e-acsl/src/code_generator/smart_exp.mli
index 5aea69fd00c72d41357a3bebcf7ac5a08f74840b..a2f1dbd82002aea2d8ecbc7a4ea03cf42ec0df3a 100644
--- a/src/plugins/e-acsl/src/code_generator/smart_exp.mli
+++ b/src/plugins/e-acsl/src/code_generator/smart_exp.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/smart_stmt.ml b/src/plugins/e-acsl/src/code_generator/smart_stmt.ml
index 62bb1853203f0e5e80832473b35528d2b085bf9f..9adea5ec2f45130ade361842897572595263d6fc 100644
--- a/src/plugins/e-acsl/src/code_generator/smart_stmt.ml
+++ b/src/plugins/e-acsl/src/code_generator/smart_stmt.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/smart_stmt.mli b/src/plugins/e-acsl/src/code_generator/smart_stmt.mli
index 887cf852e0adfe9266f87387e661b7f0d693e917..03e2a02476d858e5d69eda72ad714c0b718372bd 100644
--- a/src/plugins/e-acsl/src/code_generator/smart_stmt.mli
+++ b/src/plugins/e-acsl/src/code_generator/smart_stmt.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/temporal.ml b/src/plugins/e-acsl/src/code_generator/temporal.ml
index 6635219091eebd327c4f965db37fcdea49f99ba5..c4f847c560e0de7b38e72bbe8eafc70a88a77354 100644
--- a/src/plugins/e-acsl/src/code_generator/temporal.ml
+++ b/src/plugins/e-acsl/src/code_generator/temporal.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/temporal.mli b/src/plugins/e-acsl/src/code_generator/temporal.mli
index 8400c1bb348333f0966e2543fb638e1dc2c8362b..fbee3efce41323a1e8003e71d0443dca8a53acb1 100644
--- a/src/plugins/e-acsl/src/code_generator/temporal.mli
+++ b/src/plugins/e-acsl/src/code_generator/temporal.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_annots.ml b/src/plugins/e-acsl/src/code_generator/translate_annots.ml
index bc00c99360a6a95884679508a1908f1fb4da7ccd..50e3f5fb56843046b70b5db9edf5be83a6ba98ee 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_annots.ml
+++ b/src/plugins/e-acsl/src/code_generator/translate_annots.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_annots.mli b/src/plugins/e-acsl/src/code_generator/translate_annots.mli
index a9931f901e90806678127d4001c3a9f5648273e3..cd7e416321bea29e101a93c3827bef7cf4f7dad0 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_annots.mli
+++ b/src/plugins/e-acsl/src/code_generator/translate_annots.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_ats.ml b/src/plugins/e-acsl/src/code_generator/translate_ats.ml
index 0d12bfa2e8589df298e7b0abae3449b9c3cc639b..aea6fef775426369624525e1ef3e939060bd8e81 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_ats.ml
+++ b/src/plugins/e-acsl/src/code_generator/translate_ats.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_ats.mli b/src/plugins/e-acsl/src/code_generator/translate_ats.mli
index a975de1732c06192ec9e98e953016d240525d133..ae5988316ed52b74be0b1318193b43b797d86616 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_ats.mli
+++ b/src/plugins/e-acsl/src/code_generator/translate_ats.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_predicates.ml b/src/plugins/e-acsl/src/code_generator/translate_predicates.ml
index 55ae1ad1f49b751042c5a1d45948f06414d6461f..f2de0bc87cf9e97d465c29d8748d85033ba52c54 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_predicates.ml
+++ b/src/plugins/e-acsl/src/code_generator/translate_predicates.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_predicates.mli b/src/plugins/e-acsl/src/code_generator/translate_predicates.mli
index 4bc6be0898c5391a413cf2f52fde6217404e4cbe..bc9b21f74a6db912604f5d3add3208b628df41cf 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_predicates.mli
+++ b/src/plugins/e-acsl/src/code_generator/translate_predicates.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_rtes.ml b/src/plugins/e-acsl/src/code_generator/translate_rtes.ml
index 6c54a45e3fb6517c50be6da3a2d2c1131719e7b0..3a25b9959cdbdf82d1aa10b33aaab97521ae3e79 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_rtes.ml
+++ b/src/plugins/e-acsl/src/code_generator/translate_rtes.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_rtes.mli b/src/plugins/e-acsl/src/code_generator/translate_rtes.mli
index 907b8e3f6f63d5e505da7aca159bafb79e7b2918..bc04c79f2f5eddb21bcbb4eb8344d4af8bd7bd93 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_rtes.mli
+++ b/src/plugins/e-acsl/src/code_generator/translate_rtes.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_terms.ml b/src/plugins/e-acsl/src/code_generator/translate_terms.ml
index c9672f2a0f153648679bcb15bb14bff01ce8ca59..d748d34d5431cb67d9bb5b2d3533fd6034672c2d 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_terms.ml
+++ b/src/plugins/e-acsl/src/code_generator/translate_terms.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_terms.mli b/src/plugins/e-acsl/src/code_generator/translate_terms.mli
index 18545ea6da217b5f9db1332cb6cdd3eb830d419d..6b91a1e2fee62b3c62e8a5635723ac086e256081 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_terms.mli
+++ b/src/plugins/e-acsl/src/code_generator/translate_terms.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_utils.ml b/src/plugins/e-acsl/src/code_generator/translate_utils.ml
index d1333eb9695747e96aa2e661ea95e934f57bd323..053ccd96994e8114c97f1a7fbeae521077b45c2c 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_utils.ml
+++ b/src/plugins/e-acsl/src/code_generator/translate_utils.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate_utils.mli b/src/plugins/e-acsl/src/code_generator/translate_utils.mli
index 66a1ee99831eef27e063e2f1f8ecdf1c757b312e..2932dd4db854cbab3e1f6b0edf5308a4a28500a3 100644
--- a/src/plugins/e-acsl/src/code_generator/translate_utils.mli
+++ b/src/plugins/e-acsl/src/code_generator/translate_utils.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translation_error.ml b/src/plugins/e-acsl/src/code_generator/translation_error.ml
index 5636d7d244c6781e810aedc9dfeeafefaa53e3d1..1e16b180ba128e43f6d41a422afbaf52a6bc7213 100644
--- a/src/plugins/e-acsl/src/code_generator/translation_error.ml
+++ b/src/plugins/e-acsl/src/code_generator/translation_error.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translation_error.mli b/src/plugins/e-acsl/src/code_generator/translation_error.mli
index 24208ba225d372a1a1232b30827c5ef5ee7fe70b..0e704d2ab84b119bd5da0a7aebac1694bca1105c 100644
--- a/src/plugins/e-acsl/src/code_generator/translation_error.mli
+++ b/src/plugins/e-acsl/src/code_generator/translation_error.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/typed_number.ml b/src/plugins/e-acsl/src/code_generator/typed_number.ml
index 389ee6cfd6c263e7d8a7e22fead7b3ba28af770d..3d7e85f2af592e9259469a3b20b364e56a57ce1e 100644
--- a/src/plugins/e-acsl/src/code_generator/typed_number.ml
+++ b/src/plugins/e-acsl/src/code_generator/typed_number.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/typed_number.mli b/src/plugins/e-acsl/src/code_generator/typed_number.mli
index 1dcd19ab0bd12f20e733fcf1a370716243b6e203..15f266d9fc2feb6ca68991a6b3a0d6616def3b28 100644
--- a/src/plugins/e-acsl/src/code_generator/typed_number.mli
+++ b/src/plugins/e-acsl/src/code_generator/typed_number.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/builtins.ml b/src/plugins/e-acsl/src/libraries/builtins.ml
index 453fec5f69f6e9e0f9025ebcd9b112c775b177a1..7cf31f897f0218d4e586877b766c29b62abda68f 100644
--- a/src/plugins/e-acsl/src/libraries/builtins.ml
+++ b/src/plugins/e-acsl/src/libraries/builtins.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/builtins.mli b/src/plugins/e-acsl/src/libraries/builtins.mli
index 2a71345fca248338ad419537f7ad73fb3119c666..330213a6536a227a6910aae253c6003fa4b38f35 100644
--- a/src/plugins/e-acsl/src/libraries/builtins.mli
+++ b/src/plugins/e-acsl/src/libraries/builtins.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/error.ml b/src/plugins/e-acsl/src/libraries/error.ml
index 4fdf23fe5993d7e7189e82bad9feba010b7361f8..1b32febdce7a0fec8334dbcd7246080599f18543 100644
--- a/src/plugins/e-acsl/src/libraries/error.ml
+++ b/src/plugins/e-acsl/src/libraries/error.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/error.mli b/src/plugins/e-acsl/src/libraries/error.mli
index c83496560bf0279258eeb0f07534d4aef78f2757..599ec5cd1bb75d6f3c6d4d5c5ce1307d45e9577a 100644
--- a/src/plugins/e-acsl/src/libraries/error.mli
+++ b/src/plugins/e-acsl/src/libraries/error.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/functions.ml b/src/plugins/e-acsl/src/libraries/functions.ml
index bf0f9365e8ddbca068390b617a4f53f41dff51e4..7f04901562f7cb0131529687196e9d3b5ecb726f 100644
--- a/src/plugins/e-acsl/src/libraries/functions.ml
+++ b/src/plugins/e-acsl/src/libraries/functions.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/functions.mli b/src/plugins/e-acsl/src/libraries/functions.mli
index 01132f08a85a466222da30e5995ea7cae9e64caf..e4601d1f51aa3eb801964a6f3258576180ec5b9b 100644
--- a/src/plugins/e-acsl/src/libraries/functions.mli
+++ b/src/plugins/e-acsl/src/libraries/functions.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/gmp_types.ml b/src/plugins/e-acsl/src/libraries/gmp_types.ml
index 76b9b82f14bfc551589125ed64b04dd84e49b1db..29182b36f9c83ace07c38ed1a1eaa27745eaac5b 100644
--- a/src/plugins/e-acsl/src/libraries/gmp_types.ml
+++ b/src/plugins/e-acsl/src/libraries/gmp_types.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/gmp_types.mli b/src/plugins/e-acsl/src/libraries/gmp_types.mli
index e8b2f6a78c38bab34704a91d5326d5551f25e2f3..1e1858fcbba7dab59312f70aa27fbb5a7b5c74d4 100644
--- a/src/plugins/e-acsl/src/libraries/gmp_types.mli
+++ b/src/plugins/e-acsl/src/libraries/gmp_types.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/logic_aggr.ml b/src/plugins/e-acsl/src/libraries/logic_aggr.ml
index e08ca8acbaeffb887cd5de96ff7466103c4c5909..f874e55f23a29fa2cebe4e80a4b9e4a323508e04 100644
--- a/src/plugins/e-acsl/src/libraries/logic_aggr.ml
+++ b/src/plugins/e-acsl/src/libraries/logic_aggr.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/logic_aggr.mli b/src/plugins/e-acsl/src/libraries/logic_aggr.mli
index b8acfb91f8afc53613fa9b3257ced108a13209a5..8b486e5866c6723bbec20936778c2924049487f7 100644
--- a/src/plugins/e-acsl/src/libraries/logic_aggr.mli
+++ b/src/plugins/e-acsl/src/libraries/logic_aggr.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/misc.ml b/src/plugins/e-acsl/src/libraries/misc.ml
index 8602698152a7ee7da54c4b1afb574fa85a5ac384..3c6c9feda98295f8eec56197a1828e496adfe455 100644
--- a/src/plugins/e-acsl/src/libraries/misc.ml
+++ b/src/plugins/e-acsl/src/libraries/misc.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/misc.mli b/src/plugins/e-acsl/src/libraries/misc.mli
index 206ee04107273cc55276b4e323fe90828f609b66..a7268c4bf1d4e3c13c474fc35f3cd1cffe7a0f30 100644
--- a/src/plugins/e-acsl/src/libraries/misc.mli
+++ b/src/plugins/e-acsl/src/libraries/misc.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/varname.ml b/src/plugins/e-acsl/src/libraries/varname.ml
index dafcd89ca436be8394a8c2fbb799355175aab237..29fe6750b195445d02a821eb1cf55ecbab4d3a2f 100644
--- a/src/plugins/e-acsl/src/libraries/varname.ml
+++ b/src/plugins/e-acsl/src/libraries/varname.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/libraries/varname.mli b/src/plugins/e-acsl/src/libraries/varname.mli
index c43aed275f17702826c7d69993813c3811f5cf74..cc71aab8b9a22151ce784bee797e9b5a6061824b 100644
--- a/src/plugins/e-acsl/src/libraries/varname.mli
+++ b/src/plugins/e-acsl/src/libraries/varname.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/local_config.mli b/src/plugins/e-acsl/src/local_config.mli
index 8ab2227f4912d0ab5ebc491ef04d0dfbe0f60b5a..5c82580206b7a8c8b42ea24deb3dc616a5373e46 100644
--- a/src/plugins/e-acsl/src/local_config.mli
+++ b/src/plugins/e-acsl/src/local_config.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/main.ml b/src/plugins/e-acsl/src/main.ml
index a050b44b6e0bfb6549cfe4063923a9ce4179c293..721a9ab21a7555850658b247a28553bae2e0d30c 100644
--- a/src/plugins/e-acsl/src/main.ml
+++ b/src/plugins/e-acsl/src/main.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/main.mli b/src/plugins/e-acsl/src/main.mli
index 5b30738ecfa09c62ba32a1d28a0b387b0ee55291..619526dfb8f219e786cf7b9995f88e836b402be2 100644
--- a/src/plugins/e-acsl/src/main.mli
+++ b/src/plugins/e-acsl/src/main.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/options.ml b/src/plugins/e-acsl/src/options.ml
index 6936e54b2626408f490122f9acd14f9a13966222..caf5bf2535dc2a727bc91ed47ae073fc47319db8 100644
--- a/src/plugins/e-acsl/src/options.ml
+++ b/src/plugins/e-acsl/src/options.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/options.mli b/src/plugins/e-acsl/src/options.mli
index 393c91e5a046dcc7ba7c75b3d31367dea8e6af07..d6077d11197fb0d11a67181e6e49c661a6a4339c 100644
--- a/src/plugins/e-acsl/src/options.mli
+++ b/src/plugins/e-acsl/src/options.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/project_initializer/prepare_ast.ml b/src/plugins/e-acsl/src/project_initializer/prepare_ast.ml
index 4f0d951aca08aa973a6b84030f9be4549bb2a91e..f28a37a3eb525a806a694efb4a6cfc7200ac0e5f 100644
--- a/src/plugins/e-acsl/src/project_initializer/prepare_ast.ml
+++ b/src/plugins/e-acsl/src/project_initializer/prepare_ast.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/project_initializer/prepare_ast.mli b/src/plugins/e-acsl/src/project_initializer/prepare_ast.mli
index 6fae22c89968c800020dbb86d0d751036f452958..856bf5d8d0a78aac5050ab4ad537e459edc65113 100644
--- a/src/plugins/e-acsl/src/project_initializer/prepare_ast.mli
+++ b/src/plugins/e-acsl/src/project_initializer/prepare_ast.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/project_initializer/rtl.ml b/src/plugins/e-acsl/src/project_initializer/rtl.ml
index 092dc9b45e00d4c8e95d5edf547b1ed7d896e58f..9cda687a2e314b91a843d26863a4e36a6938cea6 100644
--- a/src/plugins/e-acsl/src/project_initializer/rtl.ml
+++ b/src/plugins/e-acsl/src/project_initializer/rtl.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/project_initializer/rtl.mli b/src/plugins/e-acsl/src/project_initializer/rtl.mli
index 684d63b9bbfd8f5f95fb3b6d7c9827879665bca0..a27552099a427bcfea8011fe61d7519e43f2b934 100644
--- a/src/plugins/e-acsl/src/project_initializer/rtl.mli
+++ b/src/plugins/e-acsl/src/project_initializer/rtl.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/tab-in-changelog.sh b/src/plugins/e-acsl/tab-in-changelog.sh
index be0ead0ed19534b1e9338f76f3b4f5349172c121..2ec18c9f8dcc545371fc04ca36adf012d33d51da 100755
--- a/src/plugins/e-acsl/tab-in-changelog.sh
+++ b/src/plugins/e-acsl/tab-in-changelog.sh
@@ -3,7 +3,7 @@
# #
# This file is part of the Frama-C's E-ACSL plug-in. #
# #
-# Copyright (C) 2012-2021 #
+# Copyright (C) 2012-2022 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/src/plugins/e-acsl/tests/E_ACSL_test.ml b/src/plugins/e-acsl/tests/E_ACSL_test.ml
index ead9134fe3272559f02a1cac5ba2c8f75dd798c5..24ad6473ecd9fdb7d6560d5ab65bdbb1744f2df8 100644
--- a/src/plugins/e-acsl/tests/E_ACSL_test.ml
+++ b/src/plugins/e-acsl/tests/E_ACSL_test.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2021 *)
+(* Copyright (C) 2012-2022 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/tests/wrapper.sh b/src/plugins/e-acsl/tests/wrapper.sh
index 938734fdab46eabfe6db60a6c78f3895b86d17b8..b97a83379bed140ffcc87f140f6c9bdf8de74d1e 100755
--- a/src/plugins/e-acsl/tests/wrapper.sh
+++ b/src/plugins/e-acsl/tests/wrapper.sh
@@ -3,7 +3,7 @@
# #
# This file is part of the Frama-C's E-ACSL plug-in. #
# #
-# Copyright (C) 2012-2021 #
+# Copyright (C) 2012-2022 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #