diff --git a/src/plugins/e-acsl/E_ACSL.mli b/src/plugins/e-acsl/E_ACSL.mli
index 590545155a859fa12010075e32be15311b64b281..813638711ecc5da986c606ddbdba6d24ec7a3420 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 21301cca9bdbddab9f51a9edaf7a693985eeb855..e7c19b6d4cfae80a23847dc4593b4faefffd82ff 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-2020 #
+# Copyright (C) 2012-2021 #
# 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 445d98b949392af5172e765d17e1acc6b99999ed..a061b4b3e9530d9a142ca4f9b9e1a8fba34bd0b1 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-2020 #
+# Copyright (C) 2012-2021 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/src/plugins/e-acsl/doc/userman/main.tex b/src/plugins/e-acsl/doc/userman/main.tex
index e09b1f891832af3bdce652e3a6396aaebe8888c6..42ddf61219b1db42b132da39217b615264ddd385 100644
--- a/src/plugins/e-acsl/doc/userman/main.tex
+++ b/src/plugins/e-acsl/doc/userman/main.tex
@@ -27,7 +27,7 @@
\end{center}
\vfill
\begin{flushleft}
- \textcopyright 2013-2020 CEA LIST
+ \textcopyright 2013-2021 CEA LIST
%%
%% This work has been supported by the `Hi-Lite' FUI project (FUI AAP 9).
\end{flushleft}
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 6171b846102a64dbaa630c2b65368b56bfa35183..5ac5606a79d128ce336064ca87338c2b1691d948 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-2020
+Copyright (C) 2012-2021
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 90c5bb5075085bb7346fed312f5178d7058c07c7..927533bb92a0b264b158d5af1fd6b071f87124a8 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-2020
+Copyright (C) 2012-2021
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 c90d2f72e9f0eeba14107f91a87557dd846dfb9b..c8e2e1fc53ed3c08144714f77f7c58eb4a2e3c6d 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-2020
+.\" Copyright (C) 2012-2021
.\" CEA (Commissariat à l'énergie atomique et aux énergies
.\" alternatives)
.\"
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.comp b/src/plugins/e-acsl/scripts/e-acsl-gcc.comp
index 5ecd949e9a102f06d548ad22cc69a1913b395500..a73c71e20b214b9679d0ad49709eb0ea961b9ddd 100644
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.comp
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.comp
@@ -2,7 +2,7 @@
# #
# This file is part of the Frama-C's E-ACSL plug-in. #
# #
-# Copyright (C) 2012-2020 #
+# Copyright (C) 2012-2021 #
# 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 cab1f3ede72d4cfd8635ba6c0089894e5dbc2060..d9268198588b9896f05b385c347204645a1031ae 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-2020 #
+# Copyright (C) 2012-2021 #
# 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 19c078c497a1685171d4f57a71e14a9ff6772950..3268406ec60ae4fd2aab57c995f34bb4f7d612c2 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 27f55c75898e0a2026ee8d9ad4cea26c043314ba..a4941546ac2ea34d550efc6379c98d5007d3c518 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 10a7975406f4b8646b0dbbcb75310236187f1978..b2b3ad1e9e32d6fd4295c068917d3ab7af7a1016 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 124a7ccc32d14d5f4ca5db18440222c32896b241..3911a3e244e16e47f5d98528c9265aca280e3821 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 f4d7eff2c762e569764de6f275ccb0cc38a5d4ee..7a91b70ac09bd140111b81f58e064ce8d63a55ae 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 3f72b11861dd2694d59e859dd3b86b6ba41e7169..0e258dd7f1d9ec3435db10ec14596ae9c6464e4b 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 9519dbe7d26008af5b8e896d410b85a3e225ab28..dcc87a6cc14555d0155a4188324e3f31e3a1bd42 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 14c827d425f2b8afa03ebf6202e0d6d83be15c2e..c31da4e33253159493faeb0bcd2faf9eb4c7c5a3 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 93396d88fe674b77adbde777bd3ee3709bf0ddb7..ff744033dba793e7f964ca7460f8aa5cf95ee038 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 12fdd8f1d76e474d1995570f79b99ca17228ea56..9262637f1e151f2a0196288a1cdc29c23567ac6f 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 19db388feb228e736a3901387c6df4947f6ca31e..ec3819faffe82a1892b43ccbec3e4ce3db5e7aaa 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 754973dd26cb0c67a8e2f41897327c4a22d567ed..de1761e09ab374effee400f4822b80c1ce1a3e90 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 7d06fc912e400d8cee8d2155e40c4824e4057c5a..862637b6c05652771820374a5683f4336b594a78 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 2799c505d4af5a98c0fce063c2a3a066c026e3fd..551f4df68da77107cd71e6cfd03c955d447d7da7 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 62c29c47afa0758cb0ae61d73133df89eec34ed3..a62296665f46fb2b4df4eb9ffb03a2ca14d595d5 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 51be6c9227f9f9b92156218188752941bd32ab0f..08d9f62ece4a40aef87c928727dded03ffa0db3b 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 61e1ebb6b89b9c3a0d9b23371eb90d42723be0db..9e7ee446a82f4d967a23582680655b6180c4a143 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 82c85d10bc79d07e4ca2b157dee97a3da3176a1f..afa9dbbd129926191a5b0fd6f2ac35b09cbf8cba 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 0b05f7f2db4bef0d370798a0948e6036d7985375..7ba0018279579d933d3f2d48c4de3c0d15512a76 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 b284f709be856f4c602dce45e1298aef1856ecbf..916e4ed85198f004b19f0d057553cfc66de9bb54 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 7346da9ce45a0f9189e0b04c7d8cccf2b8759b73..40da9b3985bfc243ed486b7621fccdb1bff8f087 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 68f682d8ceb5bc34d58d1388f4d0217cafb2a29d..a07cd94ffdd14cef17e7eb8c5a32c10750e4379f 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 804d46d37869d6666fe168d985170dd6568a9e55..52ab27fe17c760632056c222be4952b0ecb837c4 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 c8fe34d2be939aa0bcdc235a1ffb5b70b0c0dc58..0f1e6f5c5ddcb955187ac6b3d274f1be2bc1e3e7 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 017405396f8048074864694277218277f9f311d8..fcf75f90ebb572d308f1c5c63d6ef18a3b9a346b 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 04710c7389deff4cfa6677d047baa4cbe1122901..41ee07d4b6c22d000b0046377dfc29678f737b45 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 2d0bff075be92ed60c3c7070c7bca7ab2f95701b..fecf6c3b3809712b5f894c56627b42ae6f7371a3 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 faa9601461b83482a241dd83abf5eed26f8c8bb1..251be37d2eb015fb86cf7d84a1e439a9573f591c 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 76f45959cd35afbc2079342b4754ef7cad9c2e5d..a51d11dd8099891088417757ccbd5b690da77cca 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 db6f69c9c2708bae4138a65785ec5ed01a7b9cba..17985fb9551b6d19469590758b0d511a9e4f7061 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 ae8c826dd5b315ac7b502ab4f4744659330684ce..c2d07a7a2d9499ce4c39e88942530527a2e75a42 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 2914dd5678bb9fb8666033ea6a5e11680c3d07b0..6f1abc90ed4cfc2ee11541bcc3fa827018dea8b9 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 571e05ae64615c2dc429111a5c7d890334f921b8..9cfaf188d995ecf9f3ac7a706c9fca56f668377a 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 719ad13a5ff703dbbf05528c3af3584407eefb0b..9e01b9fd9d1dbf21b7aa8dbbe6b92beecf2623ea 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 26522aec365c51ddf62464d4e5b915d3b9875cf8..b2a8547e204b58e0d526331c816c3c64013e6295 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 9bd6e36758aadc97cec9a39b753fdf9933957506..64e7e25d24ccf00f1f13b455d52086a589553b0a 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 a6c465873895c60249d595200373e34825390ef1..c17dd5f4b4d5cc050055f4be944f6c5601678ac9 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 ae63e7c187b55d822374ba74a7223681b32bffb6..ec73d7f559dcbc145be452ea022814136f98fc53 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 11a4323d8e89ffcdafef626524609203bb120e4b..0127059c0a519e7c7ff040007fb61bd001c4677a 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 f8678b898fc9f6e9c290fdd54391951c6b22de82..3098ff70f79d6e57883a3bfe7abd9f7042854e1f 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 9425108e88b892fdfa8dc4935915ef1a41850e3f..cb4fb4f471458645b40b6cc8ff55f0455eb4630a 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 0e570389b3a573e703c1f74b161646afd3a8a43b..a1d787d542914ff6524d2397f964b67b036689c9 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 c0ec558842e69079800eb2511f075910d99b9663..59316ab4f16b63054fe0843b4b6c9b4df6f965d4 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 ce068ecad6e5e3dc9a3d90fd8deb6ad74acd3bfe..6bc4c9f7654a700397fd339f9a5f923154c57b04 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 1ff94c2f78a248b7bd924b053e137b7a02db1240..bd1f49c3dc13f0d3a9784288469c8b76344476c6 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 a762d9c837f874f9d9b1d1e6f5b52a13129e279c..b7d5d0d48569bbe52e51484e74cad4db0991ad90 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 cc6ad8f4f6ed57ddc08c3df46500d61c8ecba57e..9916cdd4f6ebf85bcc5cf7a9a8694ab82590fbe3 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 8b5f04edcf87bc3db0e4ca11df99d449a4289241..f7ba3981504b6408c277a986d77cea0bc13c813c 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 1bd160a30f9f277c6d0c0e7f4eac2962da130ca1..68fa0d17bda37fc3b989c204c532ef8e5054ab6d 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 85ee37455a328c563dfd92b6d721cc3380404fab..778d7afd7d729c7a0e209d89bc8ba34f20a1714b 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 b67b9b3fe6f28a15dc797310715a6ac13241fdcb..c37c1eb700e43025c91418fd9172290db91d439a 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 d9943723c01f6f6ae9ddf88dca8c5f1c5474ff27..422d25e6ebaac44a9567f33de7487c9c506425ca 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 ae8832d1f088da05f2eb4b63a90fe0405ae01b32..b3d6b199eafa7d1d2481eda6f448998f49b7566b 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 264d0e555f7d3fc817723aba8a4708a5f632c759..e3ee87ff12376f5490687aba1b07479a7205cfa6 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 26e06ad028752e94482227c9bd9cadf595f3dbc1..bce97f1f94389ece7e9d8ba27113bca6da1ff4bb 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 e37c4ad740aa884609476b7fcb18b40006045860..fe9a11080f9b9e558edb977f601976313209d583 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 93de48c4ad3b99bcc137ca40ccaa3c76fb620bb4..570e05fea6f602beec5ca9bcf19c5c3ba7e7302c 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-2020 */
+/* Copyright (C) 2012-2021 */
/* 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 28581fd29080aeaa60b201349e649738441220b9..158f266cff53d9954c4b8deedc5e5d78419d187c 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 fed7065c6f3a0e165e005394fb31fa26c0e60232..688e5c1ac9ef90761576655d6169c2204fe8e018 100644
Binary files a/src/plugins/e-acsl/src/analyses/bound_variables.mli and b/src/plugins/e-acsl/src/analyses/bound_variables.mli differ
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 6a4e932f2fdbc81dbb072dee04740169913f0ec6..fea87f8c78f1b68f947686546ce61809497e5731 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 7b1fc2e7f9d2dcbb5d87d5891c9a0376e25dde40..b1f50d9faaf88a49f034d16ae6dd42bf40180aa6 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 f774c12460f3d0fb9e9b38701ae68db1bd84a758..c1aec33e33f88f426763e9148f47c30050cce917 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 9263b798ce56ed78868d953576d86a0a437bfbe7..67d642e09bda629da4c6a04981e40a0fd69c0cc7 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 846efe7afebbcd7599027b5a183068a98c62b728..e248da44020dd21d9765622a0d92ad7301a25ebd 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 f1740a931076dd3e5bf4e7297a5e2a63fd70582b..73b09ec3f9456a071aa1de69fa59fbd103b154a1 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 e399b29aaf0061abd54d7ba1a8819f026ca4b5d2..1b8f2c40151e3403b400647fa90d781013a30960 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 1ca5b7e73fa7e13f8fa993fcca46b0750c2a6e78..4de73d67d1f4c0f4db80ed20fdd548c833be37dc 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 f98b3485092d29c6659b6a6a989cfe64ffb99acc..61f7a18517d70a6c06d866a79755db4a5f63d7c5 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 49654d41d6f8e0fd786c5aef35df856b8e32252e..f0cc0782b21005038303b71f706ce3444c26c1d2 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 56a9e7ff0fd4d13e4598f15b369e0333686ea6bd..6d98b00323987bc5912e9610af6d24819e7a689e 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 56728c2bdd002181bb5c4a62743ab6cfaac7afd9..56d5707fdaaccdb61ef16d49d46d7883fc7da833 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 ba85781275c7e7e58d694701c7973be114fc7827..dc76e43c7502f4b9620545f9108048f09939b646 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 07121a82a8e8bf5fefee8d8785d6efe93e0dfee2..78e29d61eccee59d173472e93c9dabd348844311 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 9305eff3a55b06c68106628a229bb27afd265565..9423934d182ab3a43eab1276d36956bc36a3b407 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 6f177451eddc0de564679ef1dbb4e7c8f825e862..2d38b61cd01c27b55a288544ec7b545fffd2ecbf 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 3910a72214b8b54afff5763973715792e3d3e2c9..97cc64c182ba8b81dd3d4bcdebb398061e032177 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 f6b783cf0cdd3798fbe76fc148235e374caccb7d..46037ff58a167cdcd79b7995d7c61c5ff8166262 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 cc6c4b5f77741e62595835f3bac32c6d9f4b098f..95d7a0cbdec000205aad2f0e0cf25d07716545d8 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 be06f33382bda1d909da1ae64b63d4a0ab7ff44c..016e4830271ab0dbd7831b75263b028649309488 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 b4aa66337f5aa2b05f6285090f5786581e94021e..670c48a1da0740bcbe759ad5e05d1d6a633c2088 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 a770607bd2c9e64038c19e5dd785a0c3491de55c..e7abdb52055d433bb49780a0d20630cfe84d70bd 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/at_with_lscope.ml b/src/plugins/e-acsl/src/code_generator/at_with_lscope.ml
index 43b11a26c740468c066a20f84d964948a20eef61..651dc0e4cd14c03cf4198fd3bdbc40ac83b72f66 100644
--- a/src/plugins/e-acsl/src/code_generator/at_with_lscope.ml
+++ b/src/plugins/e-acsl/src/code_generator/at_with_lscope.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2020 *)
+(* Copyright (C) 2012-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/at_with_lscope.mli b/src/plugins/e-acsl/src/code_generator/at_with_lscope.mli
index 03b3309928337494e584cc18991133d64e8ae749..2f23c959c3ec89aaf8425b8d7f9ccf239c409c7f 100644
--- a/src/plugins/e-acsl/src/code_generator/at_with_lscope.mli
+++ b/src/plugins/e-acsl/src/code_generator/at_with_lscope.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 82b54f9910c67a00c8af4bf77f3664c1391f0198..7f300b20d9cfcabe150b5f3000f55a85cd6137c6 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 0b7732602334736cc9d258c4867bd6b57e028f66..df12966e4ec39959efff34f9be6c204db020e27b 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 adef414cc84636870d1c2d5167cf48384e6958e5..6795f366553b6a763c46becac97025ca518ceadf 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 985918afe5088be84767103ea486c5074951a99b..728c432a7c01a973e51aff0d881a7867021d227f 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 9369474926d88b06dee38f1e0df23ee1bf5d1de7..22101128c078bb92b59e976952a9c42d0edd217e 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 6ee21213ec0f84eefeec8ec96431d438e48f836f..3ba52a52f12062bc633f7acb3023649c05211cf7 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 de355a0efc90b637caa0253f59ea6e93fee502f2..0970d0f3cee95e621121e2fd42492c8e7b11a792 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 ce2757719cbb4693ca98c49c0160925e35b0fd99..ff03f6e50bff630778283cb9a8c5b9396ee27880 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 a4d86ff66e8969776b4061d4ba26e9990621bf08..49cda90fc1221753ec90f99d0ec6f7eb2852b8a5 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 f035c49cccbf839490a74834949484e17de2a47a..e564026ed9b2e53a47dd788c793b5e9eb13efe38 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 f5b47328f14d8cf3840369a7d9c90528de0ea588..1473a26b7efe51f067f8eb0dd16ca8b0a61abbdb 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/label.ml b/src/plugins/e-acsl/src/code_generator/label.ml
index 838c192a898c27b2f5cc0c1128ecc13bfb58b7ba..7a3ae98c22e89831fec011763bb0f98eaf626f6d 100644
--- a/src/plugins/e-acsl/src/code_generator/label.ml
+++ b/src/plugins/e-acsl/src/code_generator/label.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2020 *)
+(* Copyright (C) 2012-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/label.mli b/src/plugins/e-acsl/src/code_generator/label.mli
index 9ba27f27d19a30c7636e26e8c35d6b5a7701678b..21e8c312456e628243dc33feb7a3297d708a4f7d 100644
--- a/src/plugins/e-acsl/src/code_generator/label.mli
+++ b/src/plugins/e-acsl/src/code_generator/label.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 16baa65d7dee3e0e895dc9d99c13c1771ff21383..a5e3094742bb783f15b99a1a36ffc1425d19e294 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 3192494f240567f0f5f565dfe94d2fbd40df9228..95ef6e79624edf6940a3cac718d02f92650bfccc 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 8b3bd0f99193c163abc41e86d508bf8974a0b239..517aa9bb62667cb7bf53a492f1bf8dc4b9eb28b7 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 80f8c1669abcae7f06e709f8921a248f913292a8..826d4480e61728b431c79754e1b6c485e63abe3a 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 adf0734cc3d2396543987b3113f7f121e180f945..61ee968e4adbfed0dc6942774ce3bbdb89257209 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 7e786d48ec1f6a029eb03734a757d5ccf90ff69a..d4b74f4a1085356c53a1463438103dad8af57035 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 f81c8701aad1a93b61e4ff08f0ce7e38d9b4d10e..1053903d9917c2d557f67385042c8dae56489a20 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 e5f646c360bb21f73d839f74ec629f8d1388744e..77436c89fbb5b62316ed8cf091ca0b04e61db368 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 ff6d18098da8cfc67cd21c7a7b23dbb286de01e4..baa5ab4d2069927f969dac3110a9884c9c641241 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 e2ed01e42e9270b97ceb1a5ede1b7dd612a142fb..6e07b47cc7d3a1490e90ee5195fe063d1844214c 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 1babc64d9246264cbd2fcf76094218ac2ca099ab..03355a4f1cd282df3103395e12f128f002c26150 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 7fb098d7655305e782dafe533d6a7b5af69528bf..fad46432acb5627e915ce72a64a4c36516ba39d4 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 d92926c81631b6b982a4baaa702632cf93e69094..77dd9dea6e8766134d3eae3eb9645402299cc257 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 f1f8c6a2b278107a91bae7dff786fce3d98614e2..56e09443d74fec1c12ad7d6bba8d3eb37cbce617 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 d569c5df9ee9c84e8e3a789109d9c7231926d57e..87afbb27d9a8b283ab870dc059c7243e45a47409 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 7e5d294971bad2da922101b32f15abdb4533d9d5..6cbd98861ad11addad89f5ded892ad939020e4f0 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 b0af08300c4d904bf229f0123eccca0587004951..643823ebe1aa80e3c89d78e12fd682fbea180a71 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 90c4c9a5cfcf534f94b15ab9d8635f24cd760a3f..6cf5a099c0e60985364f854a507e80d9172b9117 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 3f23688e85f474bf3b2a52dae972402e9f716e86..0f341c105c7cb17e90c07cd61142c5f8203ab643 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 b010fabe6694271508b5d8e2b165577630543c4f..5aea69fd00c72d41357a3bebcf7ac5a08f74840b 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 12a6240601840832e9f75b355ef24da508da159b..a5e7c5fe5aefe466632e806910b562348c4b101b 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 c9aa2faad52df5d9fcbd2f8b5be5a236b57daf65..165e815258911e1370a11a8796656f7a13749fe5 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 919780e867c88c0734ec8a500bbc55b7c3ab6683..8e7c0b4123be95e27a9d22f56d14294703b73302 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 469df071656ebe7278c7090343e8ab85e3a71959..08c38c843f4ab1366f23188816bdb48fd6435697 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate.ml b/src/plugins/e-acsl/src/code_generator/translate.ml
index d11f6481ab8bec7bd4cb0ccab07050fbdff2d617..799205fe440f2485c5dc24bfac5288136c4923b0 100644
--- a/src/plugins/e-acsl/src/code_generator/translate.ml
+++ b/src/plugins/e-acsl/src/code_generator/translate.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2020 *)
+(* Copyright (C) 2012-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/translate.mli b/src/plugins/e-acsl/src/code_generator/translate.mli
index 34c5387a54c8a3a82f134fd86039fe01dfde7534..ea9ff115508bf94e49e6d0a16814b6898bd77210 100644
--- a/src/plugins/e-acsl/src/code_generator/translate.mli
+++ b/src/plugins/e-acsl/src/code_generator/translate.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 e4f26ec3919ed0ecbc5de7c3e0c9186077de6bb1..f83509dfe9708e7841fd87d643bed55c4b73e585 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 8e4504b2ddf8fa22e50ee5f36a9310879be96d85..7fcd0651c9f1345bc10e9507b46de26fcd3ee633 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 dfa8a4497a868038fade0ac52e77a056075c37cc..879b90b89d5bca36abebf57b1da22faf82951ca3 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 bf75cc1cfe617ed4ff73ce2f39f1632e5fa58362..1dcd19ab0bd12f20e733fcf1a370716243b6e203 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 fa5d9adf70ae5c12f251f9ba96bbcea4bc56558c..453fec5f69f6e9e0f9025ebcd9b112c775b177a1 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 d15f53f6ef5284904b9f4c709a95cb78e7c6d5fc..2a71345fca248338ad419537f7ad73fb3119c666 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 202366afded83098265d405b7f26a48dad720d33..6062ebdf0d6976ed1537f90c9d10dbda579798cd 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 be38598dd1b71ae8c3f1b432dcd12cbfa1e5f5f9..9dcc0355b6138e532e11a285244655646958be28 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 4a82689a9640e376c84f739cf32cf3c0b6844697..9602cd7e1bf0a065cc114f10ba69f0577569288c 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 f2d66cb65e8309f057da05db34d3338a3951c3ef..dbfbffe530e7ea8e737cce1c534a087045de99b4 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 2022682fa13c33f0c73268591b97b0181baaa564..4a8b24ffe2f99d4854420242e8ae640daf53159b 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 fc818fbe4b66450710ded247878f46daa944102a..e8b2f6a78c38bab34704a91d5326d5551f25e2f3 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 f2f746aa44de89e77bc2fa8443712d21ded650c6..ba60807ee51df1303fac0ce2a447e1a186c853d7 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 f2d5340c0e75583c7a1f137de69ffb4f3132a540..dd22c340dbbe73a6b5aa86742dc12cdf9a8bcfd9 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 69a788246b64b72045d19274ffa853a55c0385e5..b39eb80446b5d3180f9552f94e586caab2a4a5be 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 daddb3fee0821e40d2420494dd0254f1d8f40e66..05e5c75342b307b247b3f074a53bab7a4226a0bc 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 4a765bd9ab1045103441e6076217b7288c35fce8..dafcd89ca436be8394a8c2fbb799355175aab237 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 e2af3501245980ab3cdfc7c48b3762fe45b1380f..c43aed275f17702826c7d69993813c3811f5cf74 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 fe61f64d391ce43d03d637c970a235113e1c3579..8ab2227f4912d0ab5ebc491ef04d0dfbe0f60b5a 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 8439a6b2b725c35b843318e35ada2accb345a919..0f20dbe76236ea7bd0441f3c61bd734ee62ca019 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 f3b673478f0ddb74158fdefdf6d2c10a1fedda87..5b30738ecfa09c62ba32a1d28a0b387b0ee55291 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 e4f6bdddd94e5c6ad94c656f6e85e0dea9120e16..5668e4fc3b1653ea6f4007a84faff5386dc6a3c5 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 eda2b4a31e1271bd08c5cdf9d9ee8c72323e6bde..098bc6c46c980fb53b47db5261baa37f66773e06 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 cc2cad5aa3d9539ff879db58b42f9e0ed6ff258a..f6b872138750892abcb26bd0b266010787715806 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 05f454908d76b6ccdce88fb4efb8568681792c7c..6b504898c74bcdbf83ecac94fc9fe834dec6c6b5 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 2666f70349900e1e38437991b775f84f36ae1f90..10f2660d06c9439379b9338bb9cc97a8e27eb210 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 a8ccf9b8102d4846b41180b89224f4a7743b763f..c864353d59a668abb4cf49d5de0c190fad32ee8d 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-2020 *)
+(* Copyright (C) 2012-2021 *)
(* 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 98b4a99ea72da8a6e817bd33a115177cfdf0c235..be0ead0ed19534b1e9338f76f3b4f5349172c121 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-2020 #
+# Copyright (C) 2012-2021 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/src/plugins/e-acsl/tests/print.ml b/src/plugins/e-acsl/tests/print.ml
index bcf83012c2cd7d578e01eaccc139afb346941c4c..ead9134fe3272559f02a1cac5ba2c8f75dd798c5 100644
--- a/src/plugins/e-acsl/tests/print.ml
+++ b/src/plugins/e-acsl/tests/print.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2020 *)
+(* Copyright (C) 2012-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)