From bf45ec551e64455a8cbfdba0457406c166b1913b Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 23 Feb 2022 09:00:17 +0100
Subject: [PATCH] [2022] header templates
---
headers/close-source/ACSL_EL | 2 +-
headers/close-source/AORAI_LGPL | 2 +-
headers/close-source/CEA_FSF_LGPL | 4 ++--
headers/close-source/CEA_INRIA_LGPL | 2 +-
headers/close-source/CEA_LGPL | 2 +-
headers/close-source/CEA_LGPL_OR_PROPRIETARY | 2 +-
headers/close-source/CEA_PROPRIETARY | 2 +-
headers/close-source/CEA_WP | 2 +-
headers/open-source/ACSL_EL | 2 +-
headers/open-source/AORAI_LGPL | 2 +-
headers/open-source/CEA_FSF_LGPL | 4 ++--
headers/open-source/CEA_INRIA_LGPL | 2 +-
headers/open-source/CEA_LGPL | 2 +-
headers/open-source/CEA_LGPL_OR_PROPRIETARY | 2 +-
headers/open-source/CEA_PROPRIETARY | 2 +-
headers/open-source/CEA_WP | 2 +-
16 files changed, 18 insertions(+), 18 deletions(-)
diff --git a/headers/close-source/ACSL_EL b/headers/close-source/ACSL_EL
index e216489705b..03295570cfc 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 48f6e27d846..e2107a4b796 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 f5ae6c81f8b..03e9a416fa8 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 5bce9faa9b9..e2659d24dad 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 ef45e8ab176..dfaaf640bbc 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 02ef46f3046..91dd4644e1f 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 02ef46f3046..91dd4644e1f 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 d44424694f0..2c5ad02312a 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 e216489705b..03295570cfc 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 48f6e27d846..e2107a4b796 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 f5ae6c81f8b..03e9a416fa8 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 5bce9faa9b9..e2659d24dad 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 ef45e8ab176..dfaaf640bbc 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 ef45e8ab176..dfaaf640bbc 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 02ef46f3046..91dd4644e1f 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 fddf373e15a..fb4d0bfd3c1 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)
--
GitLab