From b4481b2a79fcc935dc85ccac0c30fd008264095c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Tue, 23 Feb 2021 09:11:10 +0100 Subject: [PATCH] [wp] update headers --- src/plugins/wp/Generator.mli | 2 +- src/plugins/wp/cfgAnnot.ml | 2 +- src/plugins/wp/cfgAnnot.mli | 2 +- src/plugins/wp/cfgCalculus.ml | 2 +- src/plugins/wp/cfgCalculus.mli | 2 +- src/plugins/wp/cfgGenerator.ml | 2 +- src/plugins/wp/cfgGenerator.mli | 2 +- src/plugins/wp/cfgInfos.ml | 2 +- src/plugins/wp/cfgInfos.mli | 2 +- src/plugins/wp/cfgInit.ml | 2 +- src/plugins/wp/cfgInit.mli | 2 +- src/plugins/wp/wpGenerator.ml | 2 +- src/plugins/wp/wpGenerator.mli | 2 +- 13 files changed, 13 insertions(+), 13 deletions(-) diff --git a/src/plugins/wp/Generator.mli b/src/plugins/wp/Generator.mli index aba5b739eca..aead35c6402 100644 --- a/src/plugins/wp/Generator.mli +++ b/src/plugins/wp/Generator.mli @@ -18,7 +18,7 @@ (* See the GNU Lesser General Public License version 2.1 *) (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) -(*****************************************t*********************************) +(**************************************************************************) (* -------------------------------------------------------------------------- *) (* --- WP Computer (main entry points) --- *) diff --git a/src/plugins/wp/cfgAnnot.ml b/src/plugins/wp/cfgAnnot.ml index 3847e3e5a97..c837a3ede6b 100644 --- a/src/plugins/wp/cfgAnnot.ml +++ b/src/plugins/wp/cfgAnnot.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of WP plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat a l'energie atomique et aux energies *) (* alternatives) *) (* *) diff --git a/src/plugins/wp/cfgAnnot.mli b/src/plugins/wp/cfgAnnot.mli index ede64b3bfbf..1ca50e9f0ce 100644 --- a/src/plugins/wp/cfgAnnot.mli +++ b/src/plugins/wp/cfgAnnot.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of WP plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat a l'energie atomique et aux energies *) (* alternatives) *) (* *) diff --git a/src/plugins/wp/cfgCalculus.ml b/src/plugins/wp/cfgCalculus.ml index 0d8e99805b4..697b3eb75e3 100644 --- a/src/plugins/wp/cfgCalculus.ml +++ b/src/plugins/wp/cfgCalculus.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of WP plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat a l'energie atomique et aux energies *) (* alternatives) *) (* *) diff --git a/src/plugins/wp/cfgCalculus.mli b/src/plugins/wp/cfgCalculus.mli index 61ef2ea7f94..a43c14feae5 100644 --- a/src/plugins/wp/cfgCalculus.mli +++ b/src/plugins/wp/cfgCalculus.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of WP plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat a l'energie atomique et aux energies *) (* alternatives) *) (* *) diff --git a/src/plugins/wp/cfgGenerator.ml b/src/plugins/wp/cfgGenerator.ml index 659cf3c4553..45e5b9c4b34 100644 --- a/src/plugins/wp/cfgGenerator.ml +++ b/src/plugins/wp/cfgGenerator.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of WP plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat a l'energie atomique et aux energies *) (* alternatives) *) (* *) diff --git a/src/plugins/wp/cfgGenerator.mli b/src/plugins/wp/cfgGenerator.mli index f7e8d1afb16..ec7f9f9480c 100644 --- a/src/plugins/wp/cfgGenerator.mli +++ b/src/plugins/wp/cfgGenerator.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of WP plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat a l'energie atomique et aux energies *) (* alternatives) *) (* *) diff --git a/src/plugins/wp/cfgInfos.ml b/src/plugins/wp/cfgInfos.ml index d4298deeead..a6e1ad306a0 100644 --- a/src/plugins/wp/cfgInfos.ml +++ b/src/plugins/wp/cfgInfos.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of WP plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat a l'energie atomique et aux energies *) (* alternatives) *) (* *) diff --git a/src/plugins/wp/cfgInfos.mli b/src/plugins/wp/cfgInfos.mli index 3363925581f..472a321933a 100644 --- a/src/plugins/wp/cfgInfos.mli +++ b/src/plugins/wp/cfgInfos.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of WP plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat a l'energie atomique et aux energies *) (* alternatives) *) (* *) diff --git a/src/plugins/wp/cfgInit.ml b/src/plugins/wp/cfgInit.ml index c2b568fbb76..32168850ea4 100644 --- a/src/plugins/wp/cfgInit.ml +++ b/src/plugins/wp/cfgInit.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of WP plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat a l'energie atomique et aux energies *) (* alternatives) *) (* *) diff --git a/src/plugins/wp/cfgInit.mli b/src/plugins/wp/cfgInit.mli index 58e60b133a6..83d3cf13057 100644 --- a/src/plugins/wp/cfgInit.mli +++ b/src/plugins/wp/cfgInit.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of WP plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat a l'energie atomique et aux energies *) (* alternatives) *) (* *) diff --git a/src/plugins/wp/wpGenerator.ml b/src/plugins/wp/wpGenerator.ml index 637de753d04..8d09a45d599 100644 --- a/src/plugins/wp/wpGenerator.ml +++ b/src/plugins/wp/wpGenerator.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of WP plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat a l'energie atomique et aux energies *) (* alternatives) *) (* *) diff --git a/src/plugins/wp/wpGenerator.mli b/src/plugins/wp/wpGenerator.mli index efbcfc897c3..a2e0cec5c9c 100644 --- a/src/plugins/wp/wpGenerator.mli +++ b/src/plugins/wp/wpGenerator.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of WP plug-in of Frama-C. *) (* *) -(* Copyright (C) 2007-2020 *) +(* Copyright (C) 2007-2021 *) (* CEA (Commissariat a l'energie atomique et aux energies *) (* alternatives) *) (* *) -- GitLab