diff --git a/src/plugins/e-acsl/E_ACSL.mli b/src/plugins/e-acsl/E_ACSL.mli
index 7060936892026322db3bb37373ec8c4a958a4a6e..2841e83fe4fdd76755a13576923873e327ac8af1 100644
--- a/src/plugins/e-acsl/E_ACSL.mli
+++ b/src/plugins/e-acsl/E_ACSL.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 32a543997fefadd40571ea326538cbbc1d316e51..5ff6b5c5d373bc5229120f94a9802d1b616d24b8 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -1,8 +1,8 @@
##########################################################################
# #
-# This file is part of the Frama-C's E-ACSL plug-in. #
+# This file is part of Frama-C. #
# #
-# Copyright (C) 2012-2016 #
+# Copyright (C) 2007-2017 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
@@ -16,7 +16,7 @@
# GNU Lesser General Public License for more details. #
# #
# See the GNU Lesser General Public License version 2.1 #
-# for more details (enclosed in the file license/LGPLv2.1). #
+# for more details (enclosed in the file licenses/LGPLv2.1). #
# #
##########################################################################
@@ -311,14 +311,26 @@ e-acsl-distrib-check:
# Header #
##########
+ifeq ("$(FRAMAC_INTERNAL)","yes")
+CEA_LGPL_HEADER=$(FRAMAC_ROOT_SRCDIR)/headers/open-source/CEA_LGPL
+else
+CEA_LGPL_HEADER=$(EACSL_PLUGIN_DIR)/license/CEA_LGPL
+endif
+
headers::
@echo "Applying Headers..."
- headache -c license/headache_config.txt -h license/CEA_LGPL \
- *.ml *.mli \
- Makefile.in configure.ac \
- share/e-acsl/*.[ch] share/e-acsl/*/*.[ch] scripts/*.sh
- headache -c license/headache_config.txt -h license/SPARETIMELABS \
- share/e-acsl/e_acsl_printf.h
+ headache -c $(EACSL_PLUGIN_DIR)/license/headache_config.txt \
+ -h $(CEA_LGPL_HEADER) \
+ $(EACSL_PLUGIN_DIR)/*.ml \
+ $(EACSL_PLUGIN_DIR)/*.mli \
+ $(EACSL_PLUGIN_DIR)/Makefile.in \
+ $(EACSL_PLUGIN_DIR)/configure.ac \
+ $(EACSL_PLUGIN_DIR)/share/e-acsl/*.[ch] \
+ $(EACSL_PLUGIN_DIR)/share/e-acsl/*/*.[ch] \
+ $(EACSL_PLUGIN_DIR)/scripts/*.sh
+ headache -c $(EACSL_PLUGIN_DIR)/license/headache_config.txt \
+ -h $(EACSL_PLUGIN_DIR)/license/SPARETIMELABS \
+ $(EACSL_PLUGIN_DIR)/share/e-acsl/e_acsl_printf.h
################
# Generic part #
diff --git a/src/plugins/e-acsl/builtins.ml b/src/plugins/e-acsl/builtins.ml
index cee0c6f68fd3ce2087979e7eb7910815a008869f..78dc1e8d84d08464d7a13394bd634a81848a68c4 100644
--- a/src/plugins/e-acsl/builtins.ml
+++ b/src/plugins/e-acsl/builtins.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
+(* Copyright (C) 2007-2017 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/builtins.mli b/src/plugins/e-acsl/builtins.mli
index 553ebb709341002fa3e3be7b83c297dad161a039..5b201d6ded18d1c54e6926697032b3160ea89435 100644
--- a/src/plugins/e-acsl/builtins.mli
+++ b/src/plugins/e-acsl/builtins.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
+(* Copyright (C) 2007-2017 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index 6bda287502546f4cc0823f78ffb4784dcba4235c..12bc78bf3b3ab129e2ffc31e5abd097e7eeaf2ae 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -1,9 +1,9 @@
##########################################################################
# #
-# This file is part of the Frama-C's E-ACSL plug-in. #
+# This file is part of Frama-C. #
# #
-# Copyright (C) 2012-2016 #
-# CEA (Commissariat à l'énergie atomique et aux énergies #
+# Copyright (C) 2007-2017 #
+# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
# you can redistribute it and/or modify it under the terms of the GNU #
@@ -16,7 +16,7 @@
# GNU Lesser General Public License for more details. #
# #
# See the GNU Lesser General Public License version 2.1 #
-# for more details (enclosed in the file license/LGPLv2.1). #
+# for more details (enclosed in the file licenses/LGPLv2.1). #
# #
##########################################################################
diff --git a/src/plugins/e-acsl/dup_functions.ml b/src/plugins/e-acsl/dup_functions.ml
index 57741158f654d5709468fec593b4a3317fc57aa9..373e519ccb7fb41d5b266ebf99addab045e75902 100644
--- a/src/plugins/e-acsl/dup_functions.ml
+++ b/src/plugins/e-acsl/dup_functions.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/dup_functions.mli b/src/plugins/e-acsl/dup_functions.mli
index 1718310346dfef2fa9b881d7845c4e1f371fccf7..3ac1e612b3fad6cbd09c1c0dd8b7f5bffedc8534 100644
--- a/src/plugins/e-acsl/dup_functions.mli
+++ b/src/plugins/e-acsl/dup_functions.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/env.ml b/src/plugins/e-acsl/env.ml
index 9d13aea4bcfe717f7187970ba50c9fab8e864c49..aa77873ab4183ed37bb99e95952748f819fda180 100644
--- a/src/plugins/e-acsl/env.ml
+++ b/src/plugins/e-acsl/env.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/env.mli b/src/plugins/e-acsl/env.mli
index a55f8cc239e070013c58f7189907e0513df07eb9..6f3bf37d10976c4a7a5c3fa9b7e04d4f8c696ff7 100644
--- a/src/plugins/e-acsl/env.mli
+++ b/src/plugins/e-acsl/env.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/error.ml b/src/plugins/e-acsl/error.ml
index 84bbc6a4eff0742b3806f8cfea7c041a178f3a93..458fe9b18e3cb4508e30296cb441f2d278daed0f 100644
--- a/src/plugins/e-acsl/error.ml
+++ b/src/plugins/e-acsl/error.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/error.mli b/src/plugins/e-acsl/error.mli
index 983133838b5ead3226655d83b5fcaa6aa3e871ad..99a04dcca9468e35283375b956728c2ea869fe17 100644
--- a/src/plugins/e-acsl/error.mli
+++ b/src/plugins/e-acsl/error.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/exit_points.ml b/src/plugins/e-acsl/exit_points.ml
index 7fc9d5a2acfa3c37d9df40e7aa037f1c3904284e..0c17465948430c993d69d1614865744fafc0baaf 100644
--- a/src/plugins/e-acsl/exit_points.ml
+++ b/src/plugins/e-acsl/exit_points.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
+(* Copyright (C) 2007-2017 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/exit_points.mli b/src/plugins/e-acsl/exit_points.mli
index 57d6773a83858e89e1c9effce1dc9c6fa9d76642..90902fd110b404ccd58b18245e37556365f67c93 100644
--- a/src/plugins/e-acsl/exit_points.mli
+++ b/src/plugins/e-acsl/exit_points.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
+(* Copyright (C) 2007-2017 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/gmpz.ml b/src/plugins/e-acsl/gmpz.ml
index 183468c68cf5405262c84ebbb38cbf9098e66228..c42626be17de09f4f511239e9b155e5eddc75657 100644
--- a/src/plugins/e-acsl/gmpz.ml
+++ b/src/plugins/e-acsl/gmpz.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/gmpz.mli b/src/plugins/e-acsl/gmpz.mli
index 507db3ea3385484f9df0d9e0859cdab3dcb9bceb..56bf6e2ab732fc6560cd24dcbcb5e72dbe6210f3 100644
--- a/src/plugins/e-acsl/gmpz.mli
+++ b/src/plugins/e-acsl/gmpz.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/interval.ml b/src/plugins/e-acsl/interval.ml
index 298cc1bdb3d2a75bee21cfe06d025f9ae8b04687..57825a3e5052e81ba0dab8af0428953868eafdda 100644
--- a/src/plugins/e-acsl/interval.ml
+++ b/src/plugins/e-acsl/interval.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2015 *)
+(* Copyright (C) 2007-2017 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/interval.mli b/src/plugins/e-acsl/interval.mli
index 22fb70765134041d9e5206e074118b971dd28313..e7f5c845ff6fc2c2d31858e46bb4c3c1c0c19d2e 100644
--- a/src/plugins/e-acsl/interval.mli
+++ b/src/plugins/e-acsl/interval.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2015 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/label.ml b/src/plugins/e-acsl/label.ml
index bef275d6776f7537ecf22a1686c3af14fb687787..b4910eab15bc7747210d7e003192f725fc581677 100644
--- a/src/plugins/e-acsl/label.ml
+++ b/src/plugins/e-acsl/label.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/label.mli b/src/plugins/e-acsl/label.mli
index 43c18ac42b571ad023ebfad8ef66d99f7991a6be..6fc5b66de17bfc3fee2dd8e680bf4f700f9e8806 100644
--- a/src/plugins/e-acsl/label.mli
+++ b/src/plugins/e-acsl/label.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/literal_strings.ml b/src/plugins/e-acsl/literal_strings.ml
index a414228534b15eadcde154693cff876f5b2e2faa..21fb8d99f0a227745d5cfaa2b63dd80bdde80ec8 100644
--- a/src/plugins/e-acsl/literal_strings.ml
+++ b/src/plugins/e-acsl/literal_strings.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/literal_strings.mli b/src/plugins/e-acsl/literal_strings.mli
index 76f859607b2ff39d4f7d57b6bf9cac188d1d9033..68e10393e34ceb332673761985dae52faaadd949 100644
--- a/src/plugins/e-acsl/literal_strings.mli
+++ b/src/plugins/e-acsl/literal_strings.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/local_config.mli b/src/plugins/e-acsl/local_config.mli
index 6606ec43e18492d8e13e3945e49c445cb9bb4df8..1a0622b87cc0f0ff73e749cff38f47d59cf6e3f2 100644
--- a/src/plugins/e-acsl/local_config.mli
+++ b/src/plugins/e-acsl/local_config.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/loops.ml b/src/plugins/e-acsl/loops.ml
index afade452d6d9150b1aa69414758f4695a5c262ad..18244f95eb2fb652d33ab74ca72288c1fd9b3e96 100644
--- a/src/plugins/e-acsl/loops.ml
+++ b/src/plugins/e-acsl/loops.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/loops.mli b/src/plugins/e-acsl/loops.mli
index f9952f26f84544a0ffad7070a8f93fd087d30e89..1c19f8058ae132b1e64e5bf6805874aea041c4d3 100644
--- a/src/plugins/e-acsl/loops.mli
+++ b/src/plugins/e-acsl/loops.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/main.ml b/src/plugins/e-acsl/main.ml
index 7d136469224d62259ccd6bb3cf3ac74b1fb7aac2..398a11a130d45e80459a2ff5a2a7c46f47adca40 100644
--- a/src/plugins/e-acsl/main.ml
+++ b/src/plugins/e-acsl/main.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/misc.ml b/src/plugins/e-acsl/misc.ml
index 2616dfe348ecf0cccffe24ea501655179a83052c..bf12d27fbdf7f399651f4933508e561dcfca74e7 100644
--- a/src/plugins/e-acsl/misc.ml
+++ b/src/plugins/e-acsl/misc.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/misc.mli b/src/plugins/e-acsl/misc.mli
index 25aae974b69f88db507a7f3bff88e48eb9e8bdfa..437b1b98a3e627b6c01ff337994befbbc8b7627b 100644
--- a/src/plugins/e-acsl/misc.mli
+++ b/src/plugins/e-acsl/misc.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/mmodel_analysis.ml b/src/plugins/e-acsl/mmodel_analysis.ml
index 9e7c308a9af4b092b6a49dc97cc98afdb27b692f..b183874589cd2b7b5459420385d1a42cc6c1a9b3 100644
--- a/src/plugins/e-acsl/mmodel_analysis.ml
+++ b/src/plugins/e-acsl/mmodel_analysis.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/mmodel_analysis.mli b/src/plugins/e-acsl/mmodel_analysis.mli
index c9d64656fc756d5aece95c53d0fe53d4272344d3..6d36de2d79bbd98ed094e02e808eaaf9bfcc48bb 100644
--- a/src/plugins/e-acsl/mmodel_analysis.mli
+++ b/src/plugins/e-acsl/mmodel_analysis.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/options.ml b/src/plugins/e-acsl/options.ml
index 1435b438bbb6e21a1a245fffaefdb0ca8a76a351..30f747ab55fe45b0e27b1cdbda5a8fd6d40cc6c1 100644
--- a/src/plugins/e-acsl/options.ml
+++ b/src/plugins/e-acsl/options.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/options.mli b/src/plugins/e-acsl/options.mli
index e3c10213e297f69a43ae5fa9fd07f6a401e8ea4b..1affd27a5513ef8c38e4699caf1efb06ea475eeb 100644
--- a/src/plugins/e-acsl/options.mli
+++ b/src/plugins/e-acsl/options.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/prepare_ast.ml b/src/plugins/e-acsl/prepare_ast.ml
index dbebc4ef421cd7f35c57bd48d3fdd2936788e4bd..cece0929519c4a87144daa7cf5dcac107ba826e5 100644
--- a/src/plugins/e-acsl/prepare_ast.ml
+++ b/src/plugins/e-acsl/prepare_ast.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
+(* Copyright (C) 2007-2017 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/prepare_ast.mli b/src/plugins/e-acsl/prepare_ast.mli
index a8c4fed1ee6facfbd7229a4211a2d3477846c779..f1ad742fab66ef0efd035baa8121dd9c66fe97f0 100644
--- a/src/plugins/e-acsl/prepare_ast.mli
+++ b/src/plugins/e-acsl/prepare_ast.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
+(* Copyright (C) 2007-2017 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/quantif.ml b/src/plugins/e-acsl/quantif.ml
index c9415e14d91f9ec10c0580b98167edd965b8729f..72f2aa547e2c3ad018c21e6e0a81faa2a5851dc4 100644
--- a/src/plugins/e-acsl/quantif.ml
+++ b/src/plugins/e-acsl/quantif.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/quantif.mli b/src/plugins/e-acsl/quantif.mli
index 873579909f499b4b8671d75d3c39b3ad529513c0..14a046d25901ae32fe84523b3bd6958ad4bfe288 100644
--- a/src/plugins/e-acsl/quantif.mli
+++ b/src/plugins/e-acsl/quantif.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/rte.ml b/src/plugins/e-acsl/rte.ml
index 7088e8756013e4db11c8133f136b3ce5da6e961c..bb826d68d333c36caf6b98009f473349b6707c2f 100644
--- a/src/plugins/e-acsl/rte.ml
+++ b/src/plugins/e-acsl/rte.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/rte.mli b/src/plugins/e-acsl/rte.mli
index 58f0a9b547ac8f670296ec7550adc8045eb06de6..be6c4e03e382d869e7580ed0007f66750db67cec 100644
--- a/src/plugins/e-acsl/rte.mli
+++ b/src/plugins/e-acsl/rte.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 72934fa95e21b91987c0c4ab07f054c51d9a9c0f..58f5c9c7af6be1e4ca89aab07257657f5d30d43d 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -1,9 +1,9 @@
##########################################################################
# #
-# This file is part of the Frama-C's E-ACSL plug-in. #
+# This file is part of Frama-C. #
# #
-# Copyright (C) 2012-2016 #
-# CEA (Commissariat à l'énergie atomique et aux énergies #
+# Copyright (C) 2007-2017 #
+# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
# you can redistribute it and/or modify it under the terms of the GNU #
@@ -16,7 +16,7 @@
# GNU Lesser General Public License for more details. #
# #
# See the GNU Lesser General Public License version 2.1 #
-# for more details (enclosed in the file license/LGPLv2.1). #
+# for more details (enclosed in the file licenses/LGPLv2.1). #
# #
##########################################################################
diff --git a/src/plugins/e-acsl/scripts/testrun.sh b/src/plugins/e-acsl/scripts/testrun.sh
index 69407bc96ac0dc4c21699daf62c692f0e5d6ec4f..453552c1cfd9182e2ccee4feef5ff8e89f49f603 100755
--- a/src/plugins/e-acsl/scripts/testrun.sh
+++ b/src/plugins/e-acsl/scripts/testrun.sh
@@ -1,9 +1,9 @@
##########################################################################
# #
-# This file is part of the Frama-C's E-ACSL plug-in. #
+# This file is part of Frama-C. #
# #
-# Copyright (C) 2012-2016 #
-# CEA (Commissariat à l'énergie atomique et aux énergies #
+# Copyright (C) 2007-2017 #
+# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
# you can redistribute it and/or modify it under the terms of the GNU #
@@ -16,7 +16,7 @@
# GNU Lesser General Public License for more details. #
# #
# See the GNU Lesser General Public License version 2.1 #
-# for more details (enclosed in the file license/LGPLv2.1). #
+# for more details (enclosed in the file licenses/LGPLv2.1). #
# #
##########################################################################
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 617807e4b7b2e1b43668884afe979097b3838676..57697c4d32f0f6ca99c389cb7dc4477622d07141 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
@@ -1,9 +1,9 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2016 */
-/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
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 224d50dbeefe922733488e265d6f9a3a7ccd74b4..40e888168bab0261a3aac98311c09acb1681b96e 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
@@ -1,9 +1,9 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2016 */
-/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
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 746cc75c6c26d0b95923051c5a6b5fe257020207..d9b0c65b197f5ed9406d7d82a3f1d82c38d20bae 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
@@ -1,9 +1,9 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2016 */
-/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
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 87345b6c472430eb7aca7f935e40a2fecdeae3a6..52852a73919c335ee531fdbcf52b8747bd12fbe4 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl.h
@@ -1,9 +1,9 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2016 */
-/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
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 30144daa9d2e7b999722723a8e25894e897d16ac..6b5cf48da9d5a033816db0c9d85c4b03dad94538 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
@@ -1,8 +1,8 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2015 */
+/* Copyright (C) 2007-2017 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
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 d04144a17b0e0d71fd1e867e9d4d7bb8e6f65fd1..01b17be76f90ca3af271e5f30d00ae8229214241 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
@@ -1,9 +1,9 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2015 */
-/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
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 e41d7c1fa3053be47555dee6f42a7d309c329ece..8b74896573a0bcbf0fac3c439b1578b96e3efa74 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
@@ -1,8 +1,8 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2015 */
+/* Copyright (C) 2007-2017 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_gmp.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_gmp.h
index 7395bd062d09ded7caa68e400de8392b0f8129c0..7e7502c4e528c5fa40427b20f8547032d8f1534f 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_gmp.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_gmp.h
@@ -1,9 +1,9 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2016 */
-/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
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 1640746c7642518bd18f214fe892bda589f0c501..4bcaeef93e2c2a5fc4acd17a54ccc3c6a4f5033d 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
@@ -1,9 +1,9 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2016 */
-/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel.c b/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel.c
index 2e437e4f4561972999916dc78ed0d0c9a32111bd..a60b5acb14c88b558af5069f980ae80df495dc2f 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel.c
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel.c
@@ -1,8 +1,8 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2015 */
+/* Copyright (C) 2007-2017 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h
index 52351c9447bd3992d652ef49f156b8827d6abe2a..778d27457b3e719bbd29a9b944a38b6071fa4518 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h
@@ -1,9 +1,9 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2016 */
-/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
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 97554ed727124db28f53e843394bc728e6a725de..7edb90a76833dea90e0dae11d9b04f44e9dfcb2b 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
@@ -1,8 +1,8 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2016 */
+/* Copyright (C) 2007-2017 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
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 7118dc7efde06b644f7a303a843a5396633db8f7..dd035600d5f1b9d3dddb8c68174331774568dee0 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
@@ -1,8 +1,8 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2015 */
+/* Copyright (C) 2007-2017 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
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 e7a3f866f688bed111d943ceb73e52470a351214..974e443f5234d62dc39ac4cfec5e54c75131a627 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
@@ -1,8 +1,8 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2015 */
+/* Copyright (C) 2007-2017 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_syscall.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_syscall.h
index 0acf47b79545a9cbb04c40224fe46e418ef2a26d..7bbfe57cad172402efc9460457d6ca545d6e08ac 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_syscall.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_syscall.h
@@ -1,8 +1,8 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2015 */
+/* Copyright (C) 2007-2017 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
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 83fd8679d488300dd16a3d74a61ab1d36a6cb71a..713c7dec0ee3859f022e1cd7b81b6593779b62d3 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
@@ -1,8 +1,8 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2015 */
+/* Copyright (C) 2007-2017 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
diff --git a/src/plugins/e-acsl/share/e-acsl/glibc/memcmp.c b/src/plugins/e-acsl/share/e-acsl/glibc/memcmp.c
index 6ef7391484c8f61013e1d0e2a4dab8425816ca26..cecf06ec4ff4f908a59a6e325b63d3eddf401dc6 100644
--- a/src/plugins/e-acsl/share/e-acsl/glibc/memcmp.c
+++ b/src/plugins/e-acsl/share/e-acsl/glibc/memcmp.c
@@ -1,3 +1,25 @@
+/**************************************************************************/
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/**************************************************************************/
+
/* Copyright (C) 1991-2015 Free Software Foundation, Inc.
This file is part of the GNU C Library.
Contributed by Torbjorn Granlund (tege@sics.se).
diff --git a/src/plugins/e-acsl/share/e-acsl/glibc/memcopy.h b/src/plugins/e-acsl/share/e-acsl/glibc/memcopy.h
index a64854a021676023594f7dfeb634e77fa1349ec0..3e1fb984776684f7d69b2ce7e380a52852f57950 100644
--- a/src/plugins/e-acsl/share/e-acsl/glibc/memcopy.h
+++ b/src/plugins/e-acsl/share/e-acsl/glibc/memcopy.h
@@ -1,3 +1,25 @@
+/**************************************************************************/
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/**************************************************************************/
+
/* memcopy.h -- definitions for memory copy functions. Generic C version.
Copyright (C) 1991-2015 Free Software Foundation, Inc.
This file is part of the GNU C Library.
diff --git a/src/plugins/e-acsl/share/e-acsl/glibc/memcpy.c b/src/plugins/e-acsl/share/e-acsl/glibc/memcpy.c
index 3f02823097b1dd632988e2fd005d3ac6fe997e62..639473b380ba85868646a264499ef5d36856cb10 100644
--- a/src/plugins/e-acsl/share/e-acsl/glibc/memcpy.c
+++ b/src/plugins/e-acsl/share/e-acsl/glibc/memcpy.c
@@ -1,3 +1,25 @@
+/**************************************************************************/
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/**************************************************************************/
+
/* Copy memory to memory until the specified number of bytes
has been copied. Overlap is NOT handled correctly.
Copyright (C) 1991-2015 Free Software Foundation, Inc.
diff --git a/src/plugins/e-acsl/share/e-acsl/glibc/memmove.c b/src/plugins/e-acsl/share/e-acsl/glibc/memmove.c
index 092e9e3ad9ed1828c2a7159e51fc8b7c8b5eb038..fffebe11494ac5819767980809c3750667fcb76e 100644
--- a/src/plugins/e-acsl/share/e-acsl/glibc/memmove.c
+++ b/src/plugins/e-acsl/share/e-acsl/glibc/memmove.c
@@ -1,3 +1,25 @@
+/**************************************************************************/
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/**************************************************************************/
+
/* Copy memory to memory until the specified number of bytes
has been copied. Overlap is handled correctly.
Copyright (C) 1991-2015 Free Software Foundation, Inc.
diff --git a/src/plugins/e-acsl/share/e-acsl/glibc/memset.c b/src/plugins/e-acsl/share/e-acsl/glibc/memset.c
index 3330e9017a4432a2b2b700bbcdbaa51dad475c8c..1d2f7333255a8cb67238b26bc1e5817f3af53b96 100644
--- a/src/plugins/e-acsl/share/e-acsl/glibc/memset.c
+++ b/src/plugins/e-acsl/share/e-acsl/glibc/memset.c
@@ -1,3 +1,25 @@
+/**************************************************************************/
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/**************************************************************************/
+
/* Copyright (C) 1991-2015 Free Software Foundation, Inc.
This file is part of the GNU C Library.
diff --git a/src/plugins/e-acsl/share/e-acsl/glibc/pagecopy.h b/src/plugins/e-acsl/share/e-acsl/glibc/pagecopy.h
index b29d93e728c5f87b16f538967bc1af6a87fc8308..6d28a0de7261f45763405e22bad40a1776e8db83 100644
--- a/src/plugins/e-acsl/share/e-acsl/glibc/pagecopy.h
+++ b/src/plugins/e-acsl/share/e-acsl/glibc/pagecopy.h
@@ -1,3 +1,25 @@
+/**************************************************************************/
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/**************************************************************************/
+
/* Macros for copying by pages; used in memcpy, memmove.
Copyright (C) 1995-2015 Free Software Foundation, Inc.
This file is part of the GNU C Library.
diff --git a/src/plugins/e-acsl/share/e-acsl/glibc/strcmp.c b/src/plugins/e-acsl/share/e-acsl/glibc/strcmp.c
index 3ac6395f22065f9d0741d43ea2a207e5743f884b..3d2f88a9221044d48831fc2200265fb7979c904b 100644
--- a/src/plugins/e-acsl/share/e-acsl/glibc/strcmp.c
+++ b/src/plugins/e-acsl/share/e-acsl/glibc/strcmp.c
@@ -1,3 +1,25 @@
+/**************************************************************************/
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/**************************************************************************/
+
/* Copyright (C) 1991-2015 Free Software Foundation, Inc.
This file is part of the GNU C Library.
diff --git a/src/plugins/e-acsl/share/e-acsl/glibc/strlen.c b/src/plugins/e-acsl/share/e-acsl/glibc/strlen.c
index cdc6425fdcd3358ea0cc9ecc309358db4cac7ca3..1f2b1c566b77aaf11ef0f5780bd70366b9ca1bd5 100644
--- a/src/plugins/e-acsl/share/e-acsl/glibc/strlen.c
+++ b/src/plugins/e-acsl/share/e-acsl/glibc/strlen.c
@@ -1,3 +1,25 @@
+/**************************************************************************/
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/**************************************************************************/
+
/* Copyright (C) 1991-2015 Free Software Foundation, Inc.
This file is part of the GNU C Library.
Written by Torbjorn Granlund (tege@sics.se),
diff --git a/src/plugins/e-acsl/share/e-acsl/glibc/strncmp.c b/src/plugins/e-acsl/share/e-acsl/glibc/strncmp.c
index 53751ca81ebbd83765433b59cb5804ade12337ce..cf4ff8447ca7b86bb373b38bb1db891d5479ec8e 100644
--- a/src/plugins/e-acsl/share/e-acsl/glibc/strncmp.c
+++ b/src/plugins/e-acsl/share/e-acsl/glibc/strncmp.c
@@ -1,3 +1,25 @@
+/**************************************************************************/
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/**************************************************************************/
+
/* Copyright (C) 1991-2015 Free Software Foundation, Inc.
This file is part of the GNU C Library.
diff --git a/src/plugins/e-acsl/share/e-acsl/glibc/wordcopy.c b/src/plugins/e-acsl/share/e-acsl/glibc/wordcopy.c
index 0f9e7c7ff01856ec98afdcf4edcc464bc78bf54e..122e60bb1ca72edd7222f2c46e78fcea1a9a5a3e 100644
--- a/src/plugins/e-acsl/share/e-acsl/glibc/wordcopy.c
+++ b/src/plugins/e-acsl/share/e-acsl/glibc/wordcopy.c
@@ -1,3 +1,25 @@
+/**************************************************************************/
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2017 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/**************************************************************************/
+
/* memcopy.c -- subroutines for memory copy functions.
Copyright (C) 1991-2015 Free Software Foundation, Inc.
This file is part of the GNU C Library.
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 d5db5b65f366472ee1e70c6a9a16e4945e0f351d..9385d11fa79f8aeeaafc9aaa96d3ad72d98c0c9e 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
@@ -1,8 +1,8 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2015 */
+/* Copyright (C) 2007-2017 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
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 daeefeb20f4eccda8f32f813078993ed0f36feff..75983f80bbb4296aaf809db2c37c5ca93b31d1ce 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
@@ -1,8 +1,8 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2015 */
+/* Copyright (C) 2007-2017 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
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 2a2ff24bf9acab6fe668f65924e779677f5ba0c5..f2490f3164db9695de05dd67b7205f15ec3e0abb 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
@@ -1,8 +1,8 @@
/**************************************************************************/
/* */
-/* This file is part of the Frama-C's E-ACSL plug-in. */
+/* This file is part of Frama-C. */
/* */
-/* Copyright (C) 2012-2015 */
+/* Copyright (C) 2007-2017 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
@@ -16,7 +16,7 @@
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
-/* for more details (enclosed in the file license/LGPLv2.1). */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
diff --git a/src/plugins/e-acsl/translate.ml b/src/plugins/e-acsl/translate.ml
index 1406bd12d44cac9d147f89a172df1856963cb980..4bbfbfe03f7cde2db86cad913bfd3280c40850d1 100644
--- a/src/plugins/e-acsl/translate.ml
+++ b/src/plugins/e-acsl/translate.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/translate.mli b/src/plugins/e-acsl/translate.mli
index 294b0cde138c37781f9f73f06cff206319fcc7ff..56a484dccc2fc13ec73dc4c4a618b320720879d0 100644
--- a/src/plugins/e-acsl/translate.mli
+++ b/src/plugins/e-acsl/translate.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/typing.ml b/src/plugins/e-acsl/typing.ml
index d71a6fb663415f330e304cff3731dff8d3a46e29..9f9130fbf8e751cf949a4709f8e70fe23671a9e3 100644
--- a/src/plugins/e-acsl/typing.ml
+++ b/src/plugins/e-acsl/typing.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2015 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/typing.mli b/src/plugins/e-acsl/typing.mli
index 59c489fd3fd1087e6a963aaf6fc5ab99e190535d..9ed4896f605197f071fbb7c679f45a4bca4efe24 100644
--- a/src/plugins/e-acsl/typing.mli
+++ b/src/plugins/e-acsl/typing.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2015 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 81c69a3726d955c7d99ca0d2698db9bed4cf424f..767ea2bc422be18d17db6975f08b7e7e9e0e7501 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/e-acsl/visit.mli b/src/plugins/e-acsl/visit.mli
index c86cb6d87560a34da13c89f76773fc013eb4391b..e0bc68c0283c3c996e7b29a0e68253e8f3419ef0 100644
--- a/src/plugins/e-acsl/visit.mli
+++ b/src/plugins/e-acsl/visit.mli
@@ -1,9 +1,9 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C's E-ACSL plug-in. *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2012-2016 *)
-(* CEA (Commissariat à l'énergie atomique et aux énergies *)
+(* Copyright (C) 2007-2017 *)
+(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file license/LGPLv2.1). *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)