From 20ec4bb7580234554f79246994ee4316bb8ad1fb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr> Date: Mon, 22 Oct 2018 11:35:33 +0200 Subject: [PATCH] Add new files to header spec and update them --- src/plugins/e-acsl/at_with_lscope.ml | 4 ++-- src/plugins/e-acsl/at_with_lscope.mli | 4 ++-- src/plugins/e-acsl/headers/header_spec.txt | 6 ++++++ src/plugins/e-acsl/lscope.ml | 4 ++-- src/plugins/e-acsl/lscope.mli | 4 ++-- src/plugins/e-acsl/mmodel_translate.ml | 4 ++-- src/plugins/e-acsl/mmodel_translate.mli | 4 ++-- 7 files changed, 18 insertions(+), 12 deletions(-) diff --git a/src/plugins/e-acsl/at_with_lscope.ml b/src/plugins/e-acsl/at_with_lscope.ml index b266dff47c5..c4981badab3 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 40eeb55fd3c..3a090999252 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 dc83ba8f7a3..f6631bcaad9 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 e3c50676d35..fd040aae8a3 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 d3c80d15fe8..2583667f4ee 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 48d63f64c47..d4f5ff13979 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 ee4999d28d6..eb9170e2b17 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) *) (* *) -- GitLab