diff --git a/src/plugins/e-acsl/at_with_lscope.ml b/src/plugins/e-acsl/at_with_lscope.ml index b266dff47c569425190f3ba6912993c39d50e996..c4981badab3bdf0f309f841e3b22eebd0a2e1ccc 100644 --- a/src/plugins/e-acsl/at_with_lscope.ml +++ b/src/plugins/e-acsl/at_with_lscope.ml @@ -1,8 +1,8 @@ (**************************************************************************) (* *) -(* This file is part of Frama-C. *) +(* This file is part of the Frama-C's E-ACSL plug-in. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2012-2018 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/e-acsl/at_with_lscope.mli b/src/plugins/e-acsl/at_with_lscope.mli index 40eeb55fd3c1c9b3625c16eb9ddcea102495b06f..3a090999252d97d8b200b16172cbc543d511468a 100644 --- a/src/plugins/e-acsl/at_with_lscope.mli +++ b/src/plugins/e-acsl/at_with_lscope.mli @@ -1,8 +1,8 @@ (**************************************************************************) (* *) -(* This file is part of Frama-C. *) +(* This file is part of the Frama-C's E-ACSL plug-in. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2012-2018 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/e-acsl/headers/header_spec.txt b/src/plugins/e-acsl/headers/header_spec.txt index dc83ba8f7a33f9dfbc59ab0039806a1282e665c5..f6631bcaad981754bfeeb152348a57f562f71451 100644 --- a/src/plugins/e-acsl/headers/header_spec.txt +++ b/src/plugins/e-acsl/headers/header_spec.txt @@ -3,6 +3,8 @@ INSTALL: .ignore Makefile.in: CEA_LGPL_OR_PROPRIETARY.E_ACSL README: .ignore VERSION: .ignore +at_with_lscope.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL +at_with_lscope.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL builtins.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL builtins.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL configure.ac: CEA_LGPL_OR_PROPRIETARY.E_ACSL @@ -39,12 +41,16 @@ local_config.ml: .ignore local_config.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL loops.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL loops.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL +lscope.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL +lscope.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL main.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL man/e-acsl-gcc.sh.1: CEA_LGPL_OR_PROPRIETARY.E_ACSL misc.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL misc.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL mmodel_analysis.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL mmodel_analysis.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL +mmodel_translate.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL +mmodel_translate.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL options.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL options.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL prepare_ast.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL diff --git a/src/plugins/e-acsl/lscope.ml b/src/plugins/e-acsl/lscope.ml index e3c50676d35aa7e0f3c9aea1ecbc1ccd8aac5e50..fd040aae8a3430210bdb0af5f5653736be6f622a 100644 --- a/src/plugins/e-acsl/lscope.ml +++ b/src/plugins/e-acsl/lscope.ml @@ -1,8 +1,8 @@ (**************************************************************************) (* *) -(* This file is part of Frama-C. *) +(* This file is part of the Frama-C's E-ACSL plug-in. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2012-2018 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/e-acsl/lscope.mli b/src/plugins/e-acsl/lscope.mli index d3c80d15fe87391bc9ec129f10fad2c0201bd5a6..2583667f4eeb846419475221ac92984a0a1854f7 100644 --- a/src/plugins/e-acsl/lscope.mli +++ b/src/plugins/e-acsl/lscope.mli @@ -1,8 +1,8 @@ (**************************************************************************) (* *) -(* This file is part of Frama-C. *) +(* This file is part of the Frama-C's E-ACSL plug-in. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2012-2018 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/e-acsl/mmodel_translate.ml b/src/plugins/e-acsl/mmodel_translate.ml index 48d63f64c47cae30751f953d22a4ecd5edb11d46..d4f5ff13979b7fd57b831f14c0c01dfa25bea346 100644 --- a/src/plugins/e-acsl/mmodel_translate.ml +++ b/src/plugins/e-acsl/mmodel_translate.ml @@ -1,8 +1,8 @@ (**************************************************************************) (* *) -(* This file is part of Frama-C. *) +(* This file is part of the Frama-C's E-ACSL plug-in. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2012-2018 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/e-acsl/mmodel_translate.mli b/src/plugins/e-acsl/mmodel_translate.mli index ee4999d28d6ab671f12fca46cf798d4dafe6d389..eb9170e2b17239d5b41c8e6676251acb680bba66 100644 --- a/src/plugins/e-acsl/mmodel_translate.mli +++ b/src/plugins/e-acsl/mmodel_translate.mli @@ -1,8 +1,8 @@ (**************************************************************************) (* *) -(* This file is part of Frama-C. *) +(* This file is part of the Frama-C's E-ACSL plug-in. *) (* *) -(* Copyright (C) 2007-2018 *) +(* Copyright (C) 2012-2018 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *)