From ba09dd2440637fc63d589ab4b0713c53a3b26e54 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Mon, 31 Jan 2022 18:08:59 +0100 Subject: [PATCH] 2022 headers --- .LICENSE | 2 +- ACSLCodeAnnotation.cpp | 2 +- ACSLCodeAnnotation.h | 2 +- ACSLComment.cpp | 2 +- ACSLComment.h | 2 +- ACSLComponent.cpp | 2 +- ACSLComponent.h | 2 +- ACSLFunctionContract.cpp | 2 +- ACSLFunctionContract.h | 2 +- ACSLGlobalAnnotation.cpp | 2 +- ACSLGlobalAnnotation.h | 2 +- ACSLLexer.cpp | 2 +- ACSLLexer.h | 2 +- ACSLLogicType.cpp | 2 +- ACSLLogicType.h | 2 +- ACSLLoopAnnotation.cpp | 2 +- ACSLLoopAnnotation.h | 2 +- ACSLParser.cpp | 2 +- ACSLParser.h | 2 +- ACSLStatementAnnotation.cpp | 2 +- ACSLStatementAnnotation.h | 2 +- ACSLTermOrPredicate.cpp | 2 +- ACSLTermOrPredicate.h | 2 +- ACSLToken.cpp | 2 +- ACSLToken.h | 2 +- AnnotationComment.h | 2 +- ClangVisitor.cpp | 2 +- ClangVisitor.h | 2 +- Clang_utils.cpp | 2 +- Clang_utils.h | 2 +- DescentParse.cpp | 2 +- DescentParse.h | 2 +- DescentParse.template | 2 +- Doxyfile | 2 +- FramaCIRGen.cpp | 2 +- Frama_Clang.mli | 2 +- Makefile | 2 +- Makefile.clang | 2 +- Makefile.common | 2 +- Makefile.config.in | 2 +- RTTITable.cpp | 2 +- RTTITable.h | 2 +- VisitTable.cpp | 2 +- VisitTable.h | 2 +- class.ml | 2 +- class.mli | 2 +- configure.ac | 2 +- convert.ml | 2 +- convert.mli | 2 +- convert_acsl.ml | 2 +- convert_acsl.mli | 2 +- convert_env.ml | 2 +- convert_env.mli | 2 +- convert_link.ml | 2 +- convert_link.mli | 2 +- cxx_utils.ml | 2 +- cxx_utils.mli | 2 +- fclang_datatype.ml | 2 +- fclang_datatype.mli | 2 +- frama_Clang_option.ml | 2 +- frama_Clang_option.mli | 2 +- frama_Clang_register.ml | 2 +- frama_Clang_register.mli | 2 +- gen_ast.ml | 2 +- generate_spec.ml | 2 +- generate_spec.mli | 2 +- intermediate_format.ast | 2 +- mainpage.dox | 2 +- mangling.ml | 2 +- mangling.mli | 2 +- reorder_defs.mli | 2 +- share/libc++/__fc_define_char_traits_char | 2 +- share/libc++/__fc_define_fpos | 2 +- share/libc++/__fc_define_ios_base_seekdir | 2 +- share/libc++/__fc_define_mbstate_t | 2 +- share/libc++/__fc_define_streamoff | 2 +- share/libc++/__fc_define_streampos | 2 +- share/libc++/__fc_define_streamsize | 2 +- share/libc++/algorithm | 2 +- share/libc++/array | 2 +- share/libc++/atomic | 2 +- share/libc++/bitset | 2 +- share/libc++/cassert | 2 +- share/libc++/cerrno | 2 +- share/libc++/climits | 2 +- share/libc++/clocale | 2 +- share/libc++/cstdarg | 2 +- share/libc++/cstdbool | 2 +- share/libc++/cstddef | 2 +- share/libc++/cstdint | 2 +- share/libc++/cstdio | 2 +- share/libc++/cstdlib | 2 +- share/libc++/cstring | 2 +- share/libc++/ctime | 2 +- share/libc++/cwchar | 2 +- share/libc++/cxx_builtin.cc | 2 +- share/libc++/cxxabi.h | 2 +- share/libc++/exception | 2 +- share/libc++/functional | 2 +- share/libc++/initializer_list | 2 +- share/libc++/ios | 2 +- share/libc++/iosfwd | 2 +- share/libc++/iostream | 2 +- share/libc++/istream | 2 +- share/libc++/iterator | 2 +- share/libc++/locale | 2 +- share/libc++/memory | 2 +- share/libc++/new | 2 +- share/libc++/ostream | 2 +- share/libc++/stdexcepts | 2 +- share/libc++/streambuf | 2 +- share/libc++/string | 2 +- share/libc++/system_error | 2 +- share/libc++/type_traits | 2 +- share/libc++/typeinfo | 2 +- share/libc++/utility | 2 +- 116 files changed, 116 insertions(+), 116 deletions(-) diff --git a/.LICENSE b/.LICENSE index 15ecd250..812560cb 100644 --- a/.LICENSE +++ b/.LICENSE @@ -1,7 +1,7 @@ This file is part of Frama-Clang -Copyright (C) 2012-2021 +Copyright (C) 2012-2022 CEA (Commissariat à l'énergie atomique et aux énergies alternatives) diff --git a/ACSLCodeAnnotation.cpp b/ACSLCodeAnnotation.cpp index c2d576ed..165a25a4 100644 --- a/ACSLCodeAnnotation.cpp +++ b/ACSLCodeAnnotation.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLCodeAnnotation.h b/ACSLCodeAnnotation.h index 2496992f..ce4b892d 100644 --- a/ACSLCodeAnnotation.h +++ b/ACSLCodeAnnotation.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLComment.cpp b/ACSLComment.cpp index 91e663a2..d38b3486 100644 --- a/ACSLComment.cpp +++ b/ACSLComment.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLComment.h b/ACSLComment.h index 8984fbfe..a2f7b810 100644 --- a/ACSLComment.h +++ b/ACSLComment.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLComponent.cpp b/ACSLComponent.cpp index 884e1964..8435765a 100644 --- a/ACSLComponent.cpp +++ b/ACSLComponent.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLComponent.h b/ACSLComponent.h index ce4a42e1..0f2f206b 100644 --- a/ACSLComponent.h +++ b/ACSLComponent.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLFunctionContract.cpp b/ACSLFunctionContract.cpp index 0e287b11..d9642e27 100644 --- a/ACSLFunctionContract.cpp +++ b/ACSLFunctionContract.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLFunctionContract.h b/ACSLFunctionContract.h index 0c2554bd..cc599a07 100644 --- a/ACSLFunctionContract.h +++ b/ACSLFunctionContract.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLGlobalAnnotation.cpp b/ACSLGlobalAnnotation.cpp index a1cdcf78..07d3e318 100644 --- a/ACSLGlobalAnnotation.cpp +++ b/ACSLGlobalAnnotation.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLGlobalAnnotation.h b/ACSLGlobalAnnotation.h index 3ada9db4..8ce81414 100644 --- a/ACSLGlobalAnnotation.h +++ b/ACSLGlobalAnnotation.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLLexer.cpp b/ACSLLexer.cpp index 25292b18..fb429821 100644 --- a/ACSLLexer.cpp +++ b/ACSLLexer.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLLexer.h b/ACSLLexer.h index ff7118fb..26a9a97c 100644 --- a/ACSLLexer.h +++ b/ACSLLexer.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLLogicType.cpp b/ACSLLogicType.cpp index 3a8ef6ab..3cbd3037 100644 --- a/ACSLLogicType.cpp +++ b/ACSLLogicType.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLLogicType.h b/ACSLLogicType.h index 02868025..82fa7bb0 100644 --- a/ACSLLogicType.h +++ b/ACSLLogicType.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLLoopAnnotation.cpp b/ACSLLoopAnnotation.cpp index 67bfeb15..5bca81b5 100644 --- a/ACSLLoopAnnotation.cpp +++ b/ACSLLoopAnnotation.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLLoopAnnotation.h b/ACSLLoopAnnotation.h index 0aab4ddd..08f04704 100644 --- a/ACSLLoopAnnotation.h +++ b/ACSLLoopAnnotation.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLParser.cpp b/ACSLParser.cpp index e3b93296..fe7997d4 100644 --- a/ACSLParser.cpp +++ b/ACSLParser.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLParser.h b/ACSLParser.h index 8bcb76ea..a707821f 100644 --- a/ACSLParser.h +++ b/ACSLParser.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLStatementAnnotation.cpp b/ACSLStatementAnnotation.cpp index 8a8f93ec..f826e54d 100644 --- a/ACSLStatementAnnotation.cpp +++ b/ACSLStatementAnnotation.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLStatementAnnotation.h b/ACSLStatementAnnotation.h index d7f9e835..4e1bd351 100644 --- a/ACSLStatementAnnotation.h +++ b/ACSLStatementAnnotation.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLTermOrPredicate.cpp b/ACSLTermOrPredicate.cpp index 26622784..abdcc5f8 100644 --- a/ACSLTermOrPredicate.cpp +++ b/ACSLTermOrPredicate.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLTermOrPredicate.h b/ACSLTermOrPredicate.h index 006b63f4..7efc9ca5 100644 --- a/ACSLTermOrPredicate.h +++ b/ACSLTermOrPredicate.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLToken.cpp b/ACSLToken.cpp index 649d4b95..3625f646 100644 --- a/ACSLToken.cpp +++ b/ACSLToken.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ACSLToken.h b/ACSLToken.h index 9f828890..f77177ee 100644 --- a/ACSLToken.h +++ b/ACSLToken.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/AnnotationComment.h b/AnnotationComment.h index 92b9e826..1c3e5fe0 100644 --- a/AnnotationComment.h +++ b/AnnotationComment.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ClangVisitor.cpp b/ClangVisitor.cpp index 452446f6..67b95110 100644 --- a/ClangVisitor.cpp +++ b/ClangVisitor.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/ClangVisitor.h b/ClangVisitor.h index f5d5ce92..663c37aa 100644 --- a/ClangVisitor.h +++ b/ClangVisitor.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/Clang_utils.cpp b/Clang_utils.cpp index e7228964..373d6367 100644 --- a/Clang_utils.cpp +++ b/Clang_utils.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/Clang_utils.h b/Clang_utils.h index d504ab88..e8a4003c 100644 --- a/Clang_utils.h +++ b/Clang_utils.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/DescentParse.cpp b/DescentParse.cpp index 52414571..a80ed56f 100644 --- a/DescentParse.cpp +++ b/DescentParse.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/DescentParse.h b/DescentParse.h index 819e759b..d14aedf5 100644 --- a/DescentParse.h +++ b/DescentParse.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/DescentParse.template b/DescentParse.template index c08b3ee3..e4e896d7 100644 --- a/DescentParse.template +++ b/DescentParse.template @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/Doxyfile b/Doxyfile index 8ee2b92d..8aa565f9 100644 --- a/Doxyfile +++ b/Doxyfile @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/FramaCIRGen.cpp b/FramaCIRGen.cpp index 9585a3a6..016176d3 100644 --- a/FramaCIRGen.cpp +++ b/FramaCIRGen.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/Frama_Clang.mli b/Frama_Clang.mli index 61986f6f..86b10a9a 100644 --- a/Frama_Clang.mli +++ b/Frama_Clang.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/Makefile b/Makefile index 6ec6c416..3fe37e57 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,7 @@ # # # This file is part of Frama-Clang # # # -# Copyright (C) 2012-2021 # +# Copyright (C) 2012-2022 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/Makefile.clang b/Makefile.clang index 3733640d..4b13b6fb 100644 --- a/Makefile.clang +++ b/Makefile.clang @@ -2,7 +2,7 @@ # # # This file is part of Frama-Clang # # # -# Copyright (C) 2012-2021 # +# Copyright (C) 2012-2022 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/Makefile.common b/Makefile.common index 1b97c34a..cfc5918c 100644 --- a/Makefile.common +++ b/Makefile.common @@ -2,7 +2,7 @@ # # # This file is part of Frama-Clang # # # -# Copyright (C) 2012-2021 # +# Copyright (C) 2012-2022 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/Makefile.config.in b/Makefile.config.in index 800f19ae..61126b97 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -2,7 +2,7 @@ # # # This file is part of Frama-Clang # # # -# Copyright (C) 2012-2021 # +# Copyright (C) 2012-2022 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/RTTITable.cpp b/RTTITable.cpp index c00c8dd0..4cb729a7 100644 --- a/RTTITable.cpp +++ b/RTTITable.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/RTTITable.h b/RTTITable.h index 5ec71717..9d507067 100644 --- a/RTTITable.h +++ b/RTTITable.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/VisitTable.cpp b/VisitTable.cpp index 3c0cde1d..45c84ffb 100644 --- a/VisitTable.cpp +++ b/VisitTable.cpp @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/VisitTable.h b/VisitTable.h index f3b339e4..362d66bc 100644 --- a/VisitTable.h +++ b/VisitTable.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/class.ml b/class.ml index d2638052..dd635659 100644 --- a/class.ml +++ b/class.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/class.mli b/class.mli index 9fff3400..231047ef 100644 --- a/class.mli +++ b/class.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/configure.ac b/configure.ac index d9dccf69..b030149c 100644 --- a/configure.ac +++ b/configure.ac @@ -2,7 +2,7 @@ # # # This file is part of Frama-Clang # # # -# Copyright (C) 2012-2021 # +# Copyright (C) 2012-2022 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/convert.ml b/convert.ml index acbd3ea2..57374686 100644 --- a/convert.ml +++ b/convert.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/convert.mli b/convert.mli index 13b759b5..089910de 100644 --- a/convert.mli +++ b/convert.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/convert_acsl.ml b/convert_acsl.ml index de3b79cb..326398c6 100644 --- a/convert_acsl.ml +++ b/convert_acsl.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/convert_acsl.mli b/convert_acsl.mli index 07525db7..624ee0b6 100644 --- a/convert_acsl.mli +++ b/convert_acsl.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/convert_env.ml b/convert_env.ml index 149e795b..7ae537b8 100644 --- a/convert_env.ml +++ b/convert_env.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/convert_env.mli b/convert_env.mli index df17b306..5058797f 100644 --- a/convert_env.mli +++ b/convert_env.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/convert_link.ml b/convert_link.ml index d2a7df72..899362ab 100644 --- a/convert_link.ml +++ b/convert_link.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/convert_link.mli b/convert_link.mli index 06921649..bd930551 100644 --- a/convert_link.mli +++ b/convert_link.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/cxx_utils.ml b/cxx_utils.ml index 0d68b00e..df4ec5ed 100644 --- a/cxx_utils.ml +++ b/cxx_utils.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/cxx_utils.mli b/cxx_utils.mli index c511be53..3ba006ea 100644 --- a/cxx_utils.mli +++ b/cxx_utils.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/fclang_datatype.ml b/fclang_datatype.ml index 5670b617..ed48a226 100644 --- a/fclang_datatype.ml +++ b/fclang_datatype.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/fclang_datatype.mli b/fclang_datatype.mli index 6378c1c1..2485f324 100644 --- a/fclang_datatype.mli +++ b/fclang_datatype.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/frama_Clang_option.ml b/frama_Clang_option.ml index da1bb319..ee81e6e5 100644 --- a/frama_Clang_option.ml +++ b/frama_Clang_option.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/frama_Clang_option.mli b/frama_Clang_option.mli index 75c4b4d1..1310d797 100644 --- a/frama_Clang_option.mli +++ b/frama_Clang_option.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/frama_Clang_register.ml b/frama_Clang_register.ml index e98a6524..1c753b84 100644 --- a/frama_Clang_register.ml +++ b/frama_Clang_register.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/frama_Clang_register.mli b/frama_Clang_register.mli index 1a1bf4e3..4b6640cd 100644 --- a/frama_Clang_register.mli +++ b/frama_Clang_register.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/gen_ast.ml b/gen_ast.ml index e0a905ed..d52429f6 100644 --- a/gen_ast.ml +++ b/gen_ast.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/generate_spec.ml b/generate_spec.ml index 56bb8f1e..123b5344 100644 --- a/generate_spec.ml +++ b/generate_spec.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/generate_spec.mli b/generate_spec.mli index aa875221..ac2305c3 100644 --- a/generate_spec.mli +++ b/generate_spec.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/intermediate_format.ast b/intermediate_format.ast index 79a6a561..e237db52 100644 --- a/intermediate_format.ast +++ b/intermediate_format.ast @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/mainpage.dox b/mainpage.dox index 102d18a5..4b250058 100644 --- a/mainpage.dox +++ b/mainpage.dox @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/mangling.ml b/mangling.ml index 0c958e14..cee5981b 100644 --- a/mangling.ml +++ b/mangling.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/mangling.mli b/mangling.mli index f4433d8f..29cae0c0 100644 --- a/mangling.mli +++ b/mangling.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/reorder_defs.mli b/reorder_defs.mli index b2fb3a48..1ce6f4a9 100644 --- a/reorder_defs.mli +++ b/reorder_defs.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-Clang *) (* *) -(* Copyright (C) 2012-2021 *) +(* Copyright (C) 2012-2022 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/share/libc++/__fc_define_char_traits_char b/share/libc++/__fc_define_char_traits_char index d21f0465..0ddc7d95 100644 --- a/share/libc++/__fc_define_char_traits_char +++ b/share/libc++/__fc_define_char_traits_char @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/__fc_define_fpos b/share/libc++/__fc_define_fpos index e6356b71..61d65f97 100644 --- a/share/libc++/__fc_define_fpos +++ b/share/libc++/__fc_define_fpos @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/__fc_define_ios_base_seekdir b/share/libc++/__fc_define_ios_base_seekdir index 95dfcfb3..2c603068 100644 --- a/share/libc++/__fc_define_ios_base_seekdir +++ b/share/libc++/__fc_define_ios_base_seekdir @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/__fc_define_mbstate_t b/share/libc++/__fc_define_mbstate_t index b99e5dd7..af345a80 100644 --- a/share/libc++/__fc_define_mbstate_t +++ b/share/libc++/__fc_define_mbstate_t @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/__fc_define_streamoff b/share/libc++/__fc_define_streamoff index 00762f69..2a61559a 100644 --- a/share/libc++/__fc_define_streamoff +++ b/share/libc++/__fc_define_streamoff @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/__fc_define_streampos b/share/libc++/__fc_define_streampos index 6bfb9b0d..bf762f6d 100644 --- a/share/libc++/__fc_define_streampos +++ b/share/libc++/__fc_define_streampos @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/__fc_define_streamsize b/share/libc++/__fc_define_streamsize index f5cab56e..094f5be2 100644 --- a/share/libc++/__fc_define_streamsize +++ b/share/libc++/__fc_define_streamsize @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/algorithm b/share/libc++/algorithm index 92991571..61177aa1 100644 --- a/share/libc++/algorithm +++ b/share/libc++/algorithm @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/array b/share/libc++/array index 6e9372c3..bc58c84d 100644 --- a/share/libc++/array +++ b/share/libc++/array @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/atomic b/share/libc++/atomic index 794dc870..1f9fbcd8 100644 --- a/share/libc++/atomic +++ b/share/libc++/atomic @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/bitset b/share/libc++/bitset index 1fc14708..1877e34d 100644 --- a/share/libc++/bitset +++ b/share/libc++/bitset @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/cassert b/share/libc++/cassert index cfc2759b..a98a5772 100644 --- a/share/libc++/cassert +++ b/share/libc++/cassert @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/cerrno b/share/libc++/cerrno index ea104d7d..5a6443f6 100644 --- a/share/libc++/cerrno +++ b/share/libc++/cerrno @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/climits b/share/libc++/climits index 431caa0f..8bb43199 100644 --- a/share/libc++/climits +++ b/share/libc++/climits @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/clocale b/share/libc++/clocale index 86be8542..a5bcede6 100644 --- a/share/libc++/clocale +++ b/share/libc++/clocale @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/cstdarg b/share/libc++/cstdarg index 6162a46a..1c5574d0 100644 --- a/share/libc++/cstdarg +++ b/share/libc++/cstdarg @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/cstdbool b/share/libc++/cstdbool index 93873b15..589ac5ef 100644 --- a/share/libc++/cstdbool +++ b/share/libc++/cstdbool @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/cstddef b/share/libc++/cstddef index 42de6a8b..8da0fa77 100644 --- a/share/libc++/cstddef +++ b/share/libc++/cstddef @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/cstdint b/share/libc++/cstdint index d4e47532..1ef9f308 100644 --- a/share/libc++/cstdint +++ b/share/libc++/cstdint @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/cstdio b/share/libc++/cstdio index 246617d9..745fcf3c 100644 --- a/share/libc++/cstdio +++ b/share/libc++/cstdio @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/cstdlib b/share/libc++/cstdlib index c226cefa..ee82d8c5 100644 --- a/share/libc++/cstdlib +++ b/share/libc++/cstdlib @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/cstring b/share/libc++/cstring index a82b8459..8cfab2a7 100644 --- a/share/libc++/cstring +++ b/share/libc++/cstring @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/ctime b/share/libc++/ctime index b2ed957b..d4ff4366 100644 --- a/share/libc++/ctime +++ b/share/libc++/ctime @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/cwchar b/share/libc++/cwchar index bcc3dd29..ea4cc074 100644 --- a/share/libc++/cwchar +++ b/share/libc++/cwchar @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/cxx_builtin.cc b/share/libc++/cxx_builtin.cc index 232f594e..ebb05576 100644 --- a/share/libc++/cxx_builtin.cc +++ b/share/libc++/cxx_builtin.cc @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/cxxabi.h b/share/libc++/cxxabi.h index 448614e8..27b4f978 100644 --- a/share/libc++/cxxabi.h +++ b/share/libc++/cxxabi.h @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/exception b/share/libc++/exception index 95440187..a3e97e5e 100644 --- a/share/libc++/exception +++ b/share/libc++/exception @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/functional b/share/libc++/functional index acf1ba77..c1abdb61 100644 --- a/share/libc++/functional +++ b/share/libc++/functional @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/initializer_list b/share/libc++/initializer_list index 374710fc..d749230f 100644 --- a/share/libc++/initializer_list +++ b/share/libc++/initializer_list @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/ios b/share/libc++/ios index b53e9ae9..62747f66 100644 --- a/share/libc++/ios +++ b/share/libc++/ios @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/iosfwd b/share/libc++/iosfwd index b5978c00..a8d1301e 100644 --- a/share/libc++/iosfwd +++ b/share/libc++/iosfwd @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/iostream b/share/libc++/iostream index c8b53835..83cf962e 100644 --- a/share/libc++/iostream +++ b/share/libc++/iostream @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/istream b/share/libc++/istream index ee498d11..770b275c 100644 --- a/share/libc++/istream +++ b/share/libc++/istream @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/iterator b/share/libc++/iterator index b12e7f41..a8f2737f 100644 --- a/share/libc++/iterator +++ b/share/libc++/iterator @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/locale b/share/libc++/locale index 6cbf322a..50354f4c 100644 --- a/share/libc++/locale +++ b/share/libc++/locale @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/memory b/share/libc++/memory index 2c13f2ba..5e7df28a 100644 --- a/share/libc++/memory +++ b/share/libc++/memory @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/new b/share/libc++/new index a24abaf4..a99349d6 100644 --- a/share/libc++/new +++ b/share/libc++/new @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/ostream b/share/libc++/ostream index 7f7c1eba..3620e22f 100644 --- a/share/libc++/ostream +++ b/share/libc++/ostream @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/stdexcepts b/share/libc++/stdexcepts index c20e0606..a5fe7af1 100644 --- a/share/libc++/stdexcepts +++ b/share/libc++/stdexcepts @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/streambuf b/share/libc++/streambuf index 00a57d8a..d21f51a4 100644 --- a/share/libc++/streambuf +++ b/share/libc++/streambuf @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/string b/share/libc++/string index 3c61dac3..ea26c142 100644 --- a/share/libc++/string +++ b/share/libc++/string @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/system_error b/share/libc++/system_error index 71ce408a..490fa287 100644 --- a/share/libc++/system_error +++ b/share/libc++/system_error @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/type_traits b/share/libc++/type_traits index 37c53563..5a1c9b03 100644 --- a/share/libc++/type_traits +++ b/share/libc++/type_traits @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/typeinfo b/share/libc++/typeinfo index 6212829a..3eab620e 100644 --- a/share/libc++/typeinfo +++ b/share/libc++/typeinfo @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ diff --git a/share/libc++/utility b/share/libc++/utility index 4ac360af..8fe1d405 100644 --- a/share/libc++/utility +++ b/share/libc++/utility @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-Clang */ /* */ -/* Copyright (C) 2012-2021 */ +/* Copyright (C) 2012-2022 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* */ -- GitLab