diff --git a/src/plugins/e-acsl/E_ACSL.mli b/src/plugins/e-acsl/E_ACSL.mli
index 6b7856f0e2b1f819875b2c3d337bb855d9e38540..39bb21bcc69050eff08c503e5dfd94ca398c9f7d 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 d5dc027bf123520b62e0bde012ce6937937f89a1..78e05c039ab45e9c52f25565a01518f5b37bfa7e 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-2018 #
+# Copyright (C) 2012-2019 #
# 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 d1376c9639ddaf40bf4fa31568d2fba89efa9822..e635d9364b9956e6791109129d94ac7b3f6bb0dd 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-2018 #
+# Copyright (C) 2012-2019 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/src/plugins/e-acsl/headers/close-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL b/src/plugins/e-acsl/headers/close-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL
index 7387695e04be306cbd81a9eeb6ccf17efe3b3696..7ef24c51a4ce005f78938870f50fec2e67990e15 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-2018
+Copyright (C) 2012-2019
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 c081974e6b385f65f99272b11af814bbd41b628d..17b0a7f0450c14187b56e09d47a98a84dfecf7f7 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-2018
+Copyright (C) 2012-2019
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 601728e0c01a4c18161f8e28d7583cc8b5f7e464..ed7dc106207e973679b8036711f40bc63f9292bc 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-2018
+.\" Copyright (C) 2012-2019
.\" 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 92da93f8982e0872316d273c2ddf1a4ac9ac9bf0..3baaacb93aaaf2866e66c17dcc930b2de2d3cbd5 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-2018 #
+# Copyright (C) 2012-2019 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h
index d581f762e9d7614755c9a05369eb2bfa614a5f19..1f1263a42f075a5eb551db8911c211f61e8f7fb4 100644
--- a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h
+++ b/src/plugins/e-acsl/share/e-acsl/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-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_api.h b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_api.h
index ae566998e006910950415c72be7e6506449b4f72..01df17ab3efba46808947dd510ad05686efbb7e5 100644
--- a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_api.h
+++ b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_api.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
index eafd0b80772ba11cbc38559fbe2a34258ae325c0..2871f877f0b7e6551a5e8d68b7e82622796bde20 100644
--- a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
+++ b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* 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 a9378dc8c3481c5c6808e3fd9c269a4a4caf2e13..1a93b90ae1268b584f0ffa61f192abb8d1bffd3c 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-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_alias.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_alias.h
index 17518ac0333574bd6a084f5eede66c14899a642c..5bbac2aabdb30060e1ed37f1136063ad5251cfa7 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_alias.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_alias.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h
index 9090e7c7e79f172a44376980a4f7667eec181132..bb5911f70f42aa916ea91a41b374df8a5742a708 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h
index f13e46264b7b6d3641142422e3d88870ac973f9d..d5d68b8d4d179557a5e6b65bc71b4dbba53c22b7 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
index 2073a9aa1f32003748176887f29d355c24f23828..f26ea2255c0c229f13bc74b8f00d6e94f79e6691 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_floating_point.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_floating_point.h
index 8c6a654616130dd1d821301afb567da0a63b4a7c..9d1afa7465df59a0672474c090ca379edf2aa8f0 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_floating_point.h
+++ b/src/plugins/e-acsl/share/e-acsl/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-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_format.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_format.h
index fa78e400828db3547a83888f89e58e5e8eee447c..db2de2155c3cfd6d0d23f1b3790c30cb7f66be9d 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_format.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_format.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_gmp_api.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_gmp_api.h
index 2f60cf14470eeed8a42500fdb97c4b45c7b9b9d1..f502c52396fb31b600fdf9f2aa6610de7e3e6efa 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_gmp_api.h
+++ b/src/plugins/e-acsl/share/e-acsl/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-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_leak.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_leak.h
index 2b2f517986b940539192ee572dcefadefcb1c065..36df77036d1822ef4d8afeb4648499f604e9716e 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_leak.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_leak.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_libc_replacements.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_libc_replacements.h
index 0ef0a734af48c90cb852f3c2a565f2447064a32f..18ee51b01388bc109e18bb2837b59fb2f4d62508 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_libc_replacements.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_libc_replacements.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h
index c216fba3fadd0487360883484698cd5d59a0a2b0..2a11ab17bc5f08205992f1f920df9668564cd7d2 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* 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 2d5d3668076182414bcd4f60d586221bccbd6bfb..43b0436e76727f283d2efebb5e601617458a37bd 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-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_safe_locations.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_safe_locations.h
index d98a944cc10831639161c033795ba7d590c7c4ac..5301fc07a00da56544bc5ec7e569f84a62074657 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_safe_locations.h
+++ b/src/plugins/e-acsl/share/e-acsl/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-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_shexec.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_shexec.h
index fea42b6d1e5d5764c24a3bbdda82d3ac3e698052..282a83ef9d344c44992c272b64df2fcd6b0b794f 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_shexec.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_shexec.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_string.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_string.h
index c0e694b58157f227929ff61420d7e3da2d004096..fa66427276d3291bce3b82be5f38c045ee68c95f 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_string.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_string.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal.h
index 6caa803e1b127d577f3689fa8ae51426a4dd629d..9433f5436db67b8c72f1ed8a444ae3ff1103f4a7 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal_timestamp.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal_timestamp.h
index 107f12ea88cbfddb823d56c49c9b304e7ab924a3..333911def67d69a3ea96ddd8089c27e81f1a9c0f 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal_timestamp.h
+++ b/src/plugins/e-acsl/share/e-acsl/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-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h
index 4ba3454d2663531e1c1a76947ef13722308d9f48..3c14045bd329698fea651e2a64aac882cb47b59f 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_mmodel.c b/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_mmodel.c
index 251d7dd9ce265cc87e0a30a87227c6e3e5d11f85..f00d1b710e2e6e19238574b507d76442762f3b27 100644
--- a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_mmodel.c
+++ b/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_mmodel.c
@@ -2,7 +2,7 @@
/* */
/* This file is part of the Frama-C's E-ACSL plug-in. */
/* */
-/* Copyright (C) 2012-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h b/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h
index 0db0885ed6544725cb88230836030c1bc30f8ed6..5c7d7eda0910f60e5062c33c899c0c15d82f200f 100644
--- a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h
+++ b/src/plugins/e-acsl/share/e-acsl/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-2018 */
+/* Copyright (C) 2012-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
diff --git a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_shadow_layout.h b/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_shadow_layout.h
index 4dde664bbd05aeb488a6d009dd13fe11fef66f96..4be769aa49a66f8c9f1da7046e4f8de2c81c229c 100644
--- a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_shadow_layout.h
+++ b/src/plugins/e-acsl/share/e-acsl/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-2018 */
+/* Copyright (C) 2012-2019 */
/* 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 7df53439ef1ed31cdde557b02bc972eecd08de85..8c23c6b2507cd35ff89b7a0b4a04019cad676330 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 b130c98c686235f0223618a0bdc7e7f63ecc163d..0de4c50b690c84d528969ed79cc4113f16e207fe 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 948c0da9b9bbc2fb9db96b9fd8891029627a65c3..69227a8dee19531149117ead9ba2745dd167a082 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 332ba399ba8394565721ac409b3bc700977160da..0e79ba8c0c6a1a3c45babd0b09af16b361c4ab26 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 77b1cdcfcc41022856ddb9ae933f24e52f3065d4..b93020e69a86e12b0ef27441a2e39335eaee65f3 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 d73cc6e2f14f69faf5b96122d86cc05dc2788ad5..862a664f37f423ce44fc3c60a8b776f98a5ef722 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 fd040aae8a3430210bdb0af5f5653736be6f622a..cdbe86c778d58e5e46bd9ec04440b03fc56e36c3 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 2583667f4eeb846419475221ac92984a0a1854f7..619c01f9fb97110844646e6bd6d6cfb95a1b9fd0 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/mmodel_analysis.ml b/src/plugins/e-acsl/src/analyses/mmodel_analysis.ml
index 6bdbcaf8c8e2c7307ea9d75243264785d67521b3..b0600493ae0717cd406d32b09db6732d4c3341ac 100644
--- a/src/plugins/e-acsl/src/analyses/mmodel_analysis.ml
+++ b/src/plugins/e-acsl/src/analyses/mmodel_analysis.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2018 *)
+(* Copyright (C) 2012-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/analyses/mmodel_analysis.mli b/src/plugins/e-acsl/src/analyses/mmodel_analysis.mli
index 33e41781a8553f0082da974f890afecd564d81cc..f091021b51cbcb15bb9901ac833996938cc34535 100644
--- a/src/plugins/e-acsl/src/analyses/mmodel_analysis.mli
+++ b/src/plugins/e-acsl/src/analyses/mmodel_analysis.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 5f12d7aa07774f5524449815a5a4da19cd046b21..36a9eeecb3fd141cbd76c4d7707a682e0f166f06 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 4af8130be29737ecc29f0b5ccf5338566a28662c..94a66ea10faab4ebed2f55844fc70c85a0b28e7a 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 4d1ea2ba27ed606651c8f5847ceea6337eaed442..a811c7ec237c34a7b14a17e0f9e90ed2f50bb509 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 dfef352dee0b4fae1f774d4fa06c12b1195d2832..3c36462b0e24ddcaf95d7db7a241eda5bba3bc62 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 d34af61bc0372dec96ea5ebeb3fef2d5eaf4b440..93075f36f5b0155c1f48560b733525e5b8496127 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 70ad6f00677195183e37de6e6ba53f6926b2ce11..6538314a1c79cd9e0025d87b18f977abd4f0dd1e 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 c9d441ac976e8408b0b4ecaa311412537e9eab57..ca90454b2a7669baf8e30fd0fc91de62c7f337c3 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 6e81ceb739527d7ac738ef7626c29682451cb7d7..8789e0f8d185d80e976b1800f23d9b103587ede6 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 c2839c8a2cc66b77263810ecb086731c2228a976..ace7bc933c209463b1f177d99debd34bb4b20d1b 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 b526bda347d67b09a5a5e219d985e0e5ba29d511..e33e40c42a096b25edd28457a1eadb79089b1c26 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 c0b457e923a2d74c12b5264b7abcc014f13750e7..4a2b857694eddf7208547c56a3e906be37c9ce95 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 3db8fa96dd9b275410fb0cfa3468ecd1b4694a11..994d7831f947e484f933b99f5f7c2c45e36dcdd6 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 74ce5b5f95fd7ffcd5a1c061404bb0542f8c1ab1..41bf5a276e0689a33ab7d9d8732c91d5759e86c7 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 160170331fbb52fa20efe9e0df46c889a552de9f..4a9a4c02ce95d1f3c0756a3cf6c731ec093541da 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 005b6b8edfd06e12e3997d08616b591453c19557..05f89c24ee76cfeadea8fee3588967d154e1ccfc 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 f2e9fc3fa0fc8a7e7d2c071b7e40d8d4130e000a..ffe13fb4af4ac3d3b8a0e489e903bcd5bac79220 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/mmodel_translate.ml b/src/plugins/e-acsl/src/code_generator/mmodel_translate.ml
index 51ba54b1c98e1ad1727df64da2fcc40907e1a352..036b3089c25256d4b9ffe879e591e38be1613c64 100644
--- a/src/plugins/e-acsl/src/code_generator/mmodel_translate.ml
+++ b/src/plugins/e-acsl/src/code_generator/mmodel_translate.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2018 *)
+(* Copyright (C) 2012-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/mmodel_translate.mli b/src/plugins/e-acsl/src/code_generator/mmodel_translate.mli
index eb9170e2b17239d5b41c8e6676251acb680bba66..01bf8890c2311fc08e4d6090b3415650fdfb4acd 100644
--- a/src/plugins/e-acsl/src/code_generator/mmodel_translate.mli
+++ b/src/plugins/e-acsl/src/code_generator/mmodel_translate.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 58dad26a6507d6b4025b464c686275835153f8c3..4a618c5b8067be639c91d5eefb39670f3fdd948f 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 099a6a4c7431d7a16c2587f5d2093264aac114a1..19e2e75de6aea189d71d77de47f586a99d715d13 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 815c755da228d1aac5dec3aa3ceaa4455c036268..427e9ef5650168fdee5f93e451d1ba04fe06ccbd 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 94d676097f42f83901223e536da0397196fd883a..c85f97de2b3bcd1af6ecb23e8b4268b4231fb50c 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 7abd090bfb7f8104bde9b77820c015b9286c1730..1d27b2046c5f605b9c6fddc41348aeefd454f880 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 aea63e01f9ec22780acfa8bd226d51025d4b900d..d996adf9d51e1a1c2b92a6accd18b3a786a4363e 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 e5775d34faf11d196f415dc74563970eab8b25ca..b981e283a8d264ac717dea1bedb28dbeb8871313 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 a951a992f8a418b023a75d83a2568bfd96fbc3d7..1cfcee17b3ca8e80a06c85b03cfe88af94904340 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/visit.ml b/src/plugins/e-acsl/src/code_generator/visit.ml
index 7737606971dfbd5075528d14a3171e3c75f011e2..24a2372bf75a27e1869d40ad7da49b9fb2fe3c31 100644
--- a/src/plugins/e-acsl/src/code_generator/visit.ml
+++ b/src/plugins/e-acsl/src/code_generator/visit.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2018 *)
+(* Copyright (C) 2012-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/code_generator/visit.mli b/src/plugins/e-acsl/src/code_generator/visit.mli
index 5e01f665644868c2e38968375ac5a1ae2014c1aa..b4b77b98d1493ef52adf5dd8f5ddbbe805dc2e86 100644
--- a/src/plugins/e-acsl/src/code_generator/visit.mli
+++ b/src/plugins/e-acsl/src/code_generator/visit.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 ca591dc3496d098ac6e933a0f56a7bfbfa891b4c..7d373c8cf1af60f10a45b18545f6bd922e44fecf 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 7e1eb3f7b809988be06a54b4318cfd81dcc54f62..8542ae068c95ec7e6b4e5d4c765d53f382be43c6 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 6276d7da7f75ca0279007013a092c329ae360ef0..48e7b54665c2577221d359b1a8d3a4ef4eb5eef4 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 3e59a8fa0cf462f3d1226abb4eee9195a9aa4981..3029c5a02888dfb1f390936d02bdac7091f8b85a 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 b97ca171f7a810a1d2edd68bddb2c9089fa84865..6b4654ce490cff697f72c500edecaffb63e99a9c 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 c549f3abc4c59ac67bc7eb7a1dc4351ee54b74e3..72ae942eedd939ba33f0842d5b820933860b1cbf 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 4a89c181276117bb6075c43a468ce26219175c9f..7ed32f22bda8cf2a429e805c35f87204e2eb1be8 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 8c5558f3119762fee113f7669e7db2d2f9eb05cd..c61e8b889d535a6431c25ebbdafe836cad641ed3 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 2f886c8ce5492a491518d8b1751a9bfdcd4a9144..1b0ff8112c5481b26d2b3ac9f91bfbeb835d9163 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 c116a7dff4102a5649bec9a67090c30998bf066c..f54bf923fe59a5c251efb1788b34765cb7b95f8f 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 ee620d48895f00794a4aec2e87c751c2208eb4ef..fc6b587a9c94fb44ab25c13b1be1fed30cc64a71 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 bb003c543372c2050b7099b3389f5468ff014a7b..b77e6c236ef28953adbefaa48635fb2ed3cd3278 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 6374af51bc59a8f33297791f584842456eed57f1..089feace63372b6e06a2d1f9fedee77bc913bded 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 826323b205dfea4183cf1b39e41b043fc7151721..6727db9088ce4336e4ac7b53d6566653449fe51f 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 43993429a8c7ced5df2df9250ba7ff66952b5e91..9162ae119a382202d26bf88b64f2aab2c2e592d5 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 acfb14aa16fcb8fb5bd46eedec5ef4a849ca4cf7..cdc235ce85e6f7eeeb29834b7fdc90a68e2de292 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/project_initializer/dup_functions.ml b/src/plugins/e-acsl/src/project_initializer/dup_functions.ml
index 205fac4cd6d951a9d8b394b1847cf03e1eb871fa..aa56af94e4ccf447d6f89867685836fa7152faba 100644
--- a/src/plugins/e-acsl/src/project_initializer/dup_functions.ml
+++ b/src/plugins/e-acsl/src/project_initializer/dup_functions.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2018 *)
+(* Copyright (C) 2012-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/project_initializer/dup_functions.mli b/src/plugins/e-acsl/src/project_initializer/dup_functions.mli
index fa893ceabbea6f91bbe773fde4c3c321ebfd0524..a200772d8d372958433b9bed83f94d5fab270719 100644
--- a/src/plugins/e-acsl/src/project_initializer/dup_functions.mli
+++ b/src/plugins/e-acsl/src/project_initializer/dup_functions.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2018 *)
+(* Copyright (C) 2012-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/project_initializer/keep_status.ml b/src/plugins/e-acsl/src/project_initializer/keep_status.ml
index cb76ec3fcc5a2f673d3a6b2a63ca37dca8ab2635..c9ff11397950678b6a1c3c9e595455ef1aa54f11 100644
--- a/src/plugins/e-acsl/src/project_initializer/keep_status.ml
+++ b/src/plugins/e-acsl/src/project_initializer/keep_status.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2018 *)
+(* Copyright (C) 2012-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/e-acsl/src/project_initializer/keep_status.mli b/src/plugins/e-acsl/src/project_initializer/keep_status.mli
index fb780c54aa0870d6c3f11c1286090f8a5d8f3c7d..6a80c6cdc31a605cd6f843057c503691fc90e753 100644
--- a/src/plugins/e-acsl/src/project_initializer/keep_status.mli
+++ b/src/plugins/e-acsl/src/project_initializer/keep_status.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2012-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 18e2b851269addf0d63ca754e7fb1de743e19fe8..21b22d17866c3083cd21bc17521f049ce95f0ebe 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 f2c4f1ea3492d926d24a7fc47a02e29c8c77af6d..54e87bf224e2f25d0580dcc9c436002faa8c2221 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* 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 4cd4e8bfd8407702c8e826719b7553644b671ec2..a4e65717c3c6fc60685d482555fd67a81a99e4a5 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-2018 *)
+(* Copyright (C) 2012-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)