diff --git a/headers/close-source/ACSL_EL b/headers/close-source/ACSL_EL index e216489705b42091c9b0b5241769444e5e00a27e..03295570cfc43bc942288ad03439c060114d655d 100644 --- a/headers/close-source/ACSL_EL +++ b/headers/close-source/ACSL_EL @@ -4,7 +4,7 @@ This file is part of Frama-C. Copyright (C) 2008-2011 Pierre Roux -Copyright (C) 2009-2021 +Copyright (C) 2009-2022 CEA LIST you can redistribute it and/or modify it under the terms of the GNU diff --git a/headers/close-source/AORAI_LGPL b/headers/close-source/AORAI_LGPL index 48f6e27d846529755242e00ed7e53593c4c762bb..e2107a4b796b0a90e43058fe308814426d6e4fd9 100644 --- a/headers/close-source/AORAI_LGPL +++ b/headers/close-source/AORAI_LGPL @@ -1,7 +1,7 @@ This file is part of Aorai plug-in of Frama-C. -Copyright (C) 2007-2021 +Copyright (C) 2007-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) INRIA (Institut National de Recherche en Informatique et en diff --git a/headers/close-source/CEA_FSF_LGPL b/headers/close-source/CEA_FSF_LGPL index f5ae6c81f8bf666139e58c2cfd5b7ab9dfebfe6c..03e9a416fa8f0bf7c62b22f4e2132fd0e5f20a4b 100644 --- a/headers/close-source/CEA_FSF_LGPL +++ b/headers/close-source/CEA_FSF_LGPL @@ -1,9 +1,9 @@ This file is part of Frama-C. -Copyright (C) 1995-2021 +Copyright (C) 1995-2022 Free Software Foundation, Inc. -Copyright (C) 2021 +Copyright (C) 2021-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) diff --git a/headers/close-source/CEA_INRIA_LGPL b/headers/close-source/CEA_INRIA_LGPL index 5bce9faa9b92eb4de6299b34de0048933b6d4d0b..e2659d24dad5fcccaf25e053e6e093a4ef45346a 100644 --- a/headers/close-source/CEA_INRIA_LGPL +++ b/headers/close-source/CEA_INRIA_LGPL @@ -1,7 +1,7 @@ This file is part of Frama-C. -Copyright (C) 2007-2021 +Copyright (C) 2007-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) INRIA (Institut National de Recherche en Informatique et en diff --git a/headers/close-source/CEA_LGPL b/headers/close-source/CEA_LGPL index ef45e8ab1762255a3a662f393837cb3a5c263081..dfaaf640bbc5743c891aff969d61827d21fd6f96 100644 --- a/headers/close-source/CEA_LGPL +++ b/headers/close-source/CEA_LGPL @@ -1,7 +1,7 @@ This file is part of Frama-C. -Copyright (C) 2007-2021 +Copyright (C) 2007-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) diff --git a/headers/close-source/CEA_LGPL_OR_PROPRIETARY b/headers/close-source/CEA_LGPL_OR_PROPRIETARY index 02ef46f3046dfeba147f393ef127167e819c4283..91dd4644e1f33c8ede67702c122e823bccc4c5df 100644 --- a/headers/close-source/CEA_LGPL_OR_PROPRIETARY +++ b/headers/close-source/CEA_LGPL_OR_PROPRIETARY @@ -1,7 +1,7 @@ This file is part of Frama-C. -Copyright (C) 2007-2021 +Copyright (C) 2007-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) diff --git a/headers/close-source/CEA_PROPRIETARY b/headers/close-source/CEA_PROPRIETARY index 02ef46f3046dfeba147f393ef127167e819c4283..91dd4644e1f33c8ede67702c122e823bccc4c5df 100644 --- a/headers/close-source/CEA_PROPRIETARY +++ b/headers/close-source/CEA_PROPRIETARY @@ -1,7 +1,7 @@ This file is part of Frama-C. -Copyright (C) 2007-2021 +Copyright (C) 2007-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) diff --git a/headers/close-source/CEA_WP b/headers/close-source/CEA_WP index d44424694f0c8cf43361c4aa2a4e11772cde5987..2c5ad02312ade7b5d56f7c8a28fa24d41198ba7f 100644 --- a/headers/close-source/CEA_WP +++ b/headers/close-source/CEA_WP @@ -1,7 +1,7 @@ This file is part of WP plug-in of Frama-C. -Copyright (C) 2007-2021 +Copyright (C) 2007-2022 CEA (Commissariat a l'energie atomique et aux energies alternatives) diff --git a/headers/open-source/ACSL_EL b/headers/open-source/ACSL_EL index e216489705b42091c9b0b5241769444e5e00a27e..03295570cfc43bc942288ad03439c060114d655d 100644 --- a/headers/open-source/ACSL_EL +++ b/headers/open-source/ACSL_EL @@ -4,7 +4,7 @@ This file is part of Frama-C. Copyright (C) 2008-2011 Pierre Roux -Copyright (C) 2009-2021 +Copyright (C) 2009-2022 CEA LIST you can redistribute it and/or modify it under the terms of the GNU diff --git a/headers/open-source/AORAI_LGPL b/headers/open-source/AORAI_LGPL index 48f6e27d846529755242e00ed7e53593c4c762bb..e2107a4b796b0a90e43058fe308814426d6e4fd9 100644 --- a/headers/open-source/AORAI_LGPL +++ b/headers/open-source/AORAI_LGPL @@ -1,7 +1,7 @@ This file is part of Aorai plug-in of Frama-C. -Copyright (C) 2007-2021 +Copyright (C) 2007-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) INRIA (Institut National de Recherche en Informatique et en diff --git a/headers/open-source/CEA_FSF_LGPL b/headers/open-source/CEA_FSF_LGPL index f5ae6c81f8bf666139e58c2cfd5b7ab9dfebfe6c..03e9a416fa8f0bf7c62b22f4e2132fd0e5f20a4b 100644 --- a/headers/open-source/CEA_FSF_LGPL +++ b/headers/open-source/CEA_FSF_LGPL @@ -1,9 +1,9 @@ This file is part of Frama-C. -Copyright (C) 1995-2021 +Copyright (C) 1995-2022 Free Software Foundation, Inc. -Copyright (C) 2021 +Copyright (C) 2021-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) diff --git a/headers/open-source/CEA_INRIA_LGPL b/headers/open-source/CEA_INRIA_LGPL index 5bce9faa9b92eb4de6299b34de0048933b6d4d0b..e2659d24dad5fcccaf25e053e6e093a4ef45346a 100644 --- a/headers/open-source/CEA_INRIA_LGPL +++ b/headers/open-source/CEA_INRIA_LGPL @@ -1,7 +1,7 @@ This file is part of Frama-C. -Copyright (C) 2007-2021 +Copyright (C) 2007-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) INRIA (Institut National de Recherche en Informatique et en diff --git a/headers/open-source/CEA_LGPL b/headers/open-source/CEA_LGPL index ef45e8ab1762255a3a662f393837cb3a5c263081..dfaaf640bbc5743c891aff969d61827d21fd6f96 100644 --- a/headers/open-source/CEA_LGPL +++ b/headers/open-source/CEA_LGPL @@ -1,7 +1,7 @@ This file is part of Frama-C. -Copyright (C) 2007-2021 +Copyright (C) 2007-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) diff --git a/headers/open-source/CEA_LGPL_OR_PROPRIETARY b/headers/open-source/CEA_LGPL_OR_PROPRIETARY index ef45e8ab1762255a3a662f393837cb3a5c263081..dfaaf640bbc5743c891aff969d61827d21fd6f96 100644 --- a/headers/open-source/CEA_LGPL_OR_PROPRIETARY +++ b/headers/open-source/CEA_LGPL_OR_PROPRIETARY @@ -1,7 +1,7 @@ This file is part of Frama-C. -Copyright (C) 2007-2021 +Copyright (C) 2007-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) diff --git a/headers/open-source/CEA_PROPRIETARY b/headers/open-source/CEA_PROPRIETARY index 02ef46f3046dfeba147f393ef127167e819c4283..91dd4644e1f33c8ede67702c122e823bccc4c5df 100644 --- a/headers/open-source/CEA_PROPRIETARY +++ b/headers/open-source/CEA_PROPRIETARY @@ -1,7 +1,7 @@ This file is part of Frama-C. -Copyright (C) 2007-2021 +Copyright (C) 2007-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) diff --git a/headers/open-source/CEA_WP b/headers/open-source/CEA_WP index fddf373e15a5aaa752741aee85dab06a969fd267..fb4d0bfd3c168bbaf2cad09cba7c243b8d2977ca 100644 --- a/headers/open-source/CEA_WP +++ b/headers/open-source/CEA_WP @@ -1,7 +1,7 @@ This file is part of WP plug-in of Frama-C. -Copyright (C) 2007-2021 +Copyright (C) 2007-2022 CEA (Commissariat a l'energie atomique et aux energies alternatives)