diff --git a/src/plugins/wp/Generator.mli b/src/plugins/wp/Generator.mli index aba5b739ecae6a2ef8452a8b8ed58bd6735cf2cd..aead35c64025fcf62bcfaf1a2fee33895da8d4b7 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 3847e3e5a972b07f9ba15373a27fa13d87f560d0..c837a3ede6ba819838292be5010ca9f7178ac395 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 ede64b3bfbf1b7139f57c5698edab7d78a9ce84d..1ca50e9f0ce2ca26a0462d03491ae619278641dd 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 0d8e99805b48b669fe939d30083ed6bea586f5c1..697b3eb75e3b8dd4b7f3aa1ce01b892aa447453c 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 61ef2ea7f94b61e1315b81315ba0dc49f0ead27f..a43c14feae502803d2963d3de10f4f0b5e70eab9 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 659cf3c455328d446347c95f10bbde8b9bff0927..45e5b9c4b347cce18bf5e4e5264fbefcc05872ff 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 f7e8d1afb16e4eeca95115931544e5b916c2532f..ec7f9f9480c0ddfbb449c9559737489179e3b849 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 d4298deeeade3c7fd196fd4db8cc114955e597e3..a6e1ad306a00670f622a394c263f237a70d1a515 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 3363925581f1d85d5363774e623c9d027332976d..472a321933a16e7853b7fd20727ceb0136b27d0f 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 c2b568fbb76834009083bc6e665d744bc30bd989..32168850ea40fec1f7095a53a1e4594d5b9d1881 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 58e60b133a6d6ebd7813dbdddc218cc33cacbf04..83d3cf130575ff59e361d37b3347dada1bcd92dc 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 637de753d04ed14c1d6f874dced8a75cb93945fa..8d09a45d599a2d4b85c42bca094bdfb0b296dd27 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 efbcfc897c347509c14b48091e7fce9b03f9ad34..a2e0cec5c9cfec7b86469cca946fa0b15f2ab38d 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) *) (* *)