diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-16 17:35:44 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-16 17:35:44 +0100 |
| commit | 2fdaf566e83897ed46127791d731f5788c22907c (patch) | |
| tree | 48d0c8f8c87fd5b14b08f5e421ce9f2128e2b690 | |
| parent | 0617eb48bafaa87059e34a278d6e9351df905c46 (diff) | |
| download | smtcoq-2fdaf566e83897ed46127791d731f5788c22907c.tar.gz smtcoq-2fdaf566e83897ed46127791d731f5788c22907c.zip | |
Update copyright
126 files changed, 126 insertions, 126 deletions
diff --git a/examples/Example.v b/examples/Example.v index b32c254..324d139 100644 --- a/examples/Example.v +++ b/examples/Example.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/examples/InsertionSort.v b/examples/InsertionSort.v index 485ab7f..1f49a12 100644 --- a/examples/InsertionSort.v +++ b/examples/InsertionSort.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/Conversion_tactics.v b/src/Conversion_tactics.v index 0483db0..d85d193 100644 --- a/src/Conversion_tactics.v +++ b/src/Conversion_tactics.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/PropToBool.v b/src/PropToBool.v index cab5b50..1ff78c1 100644 --- a/src/PropToBool.v +++ b/src/PropToBool.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/QInst.v b/src/QInst.v index ae9c5cc..356fe15 100644 --- a/src/QInst.v +++ b/src/QInst.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/ReflectFacts.v b/src/ReflectFacts.v index af25529..1470791 100644 --- a/src/ReflectFacts.v +++ b/src/ReflectFacts.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/SMTCoq.v b/src/SMTCoq.v index 694f2ed..9a99a3a 100644 --- a/src/SMTCoq.v +++ b/src/SMTCoq.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/SMT_terms.v b/src/SMT_terms.v index eb33298..0b9ba30 100644 --- a/src/SMT_terms.v +++ b/src/SMT_terms.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/State.v b/src/State.v index 953c8ee..a1e8437 100644 --- a/src/State.v +++ b/src/State.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/Trace.v b/src/Trace.v index f56e254..17338ca 100644 --- a/src/Trace.v +++ b/src/Trace.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/array/Array_checker.v b/src/array/Array_checker.v index b6d7ef4..d7f196c 100644 --- a/src/array/Array_checker.v +++ b/src/array/Array_checker.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/array/FArray.v b/src/array/FArray.v index 26617b8..b317bec 100644 --- a/src/array/FArray.v +++ b/src/array/FArray.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/array/FArray_default.v b/src/array/FArray_default.v index 491d1e5..48b21e0 100644 --- a/src/array/FArray_default.v +++ b/src/array/FArray_default.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/array/FArray_ord.v b/src/array/FArray_ord.v index ffe2eaa..fe69744 100644 --- a/src/array/FArray_ord.v +++ b/src/array/FArray_ord.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/bva/BVList.v b/src/bva/BVList.v index c337302..5733081 100644 --- a/src/bva/BVList.v +++ b/src/bva/BVList.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/bva/Bva_checker.v b/src/bva/Bva_checker.v index cab05b9..d74b847 100644 --- a/src/bva/Bva_checker.v +++ b/src/bva/Bva_checker.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/classes/SMT_classes.v b/src/classes/SMT_classes.v index 9ee394b..c6115c6 100644 --- a/src/classes/SMT_classes.v +++ b/src/classes/SMT_classes.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/classes/SMT_classes_instances.v b/src/classes/SMT_classes_instances.v index 178a546..ac76a72 100644 --- a/src/classes/SMT_classes_instances.v +++ b/src/classes/SMT_classes_instances.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/cnf/Cnf.v b/src/cnf/Cnf.v index 9b90727..7618547 100644 --- a/src/cnf/Cnf.v +++ b/src/cnf/Cnf.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/euf/Euf.v b/src/euf/Euf.v index c8de741..83220c2 100644 --- a/src/euf/Euf.v +++ b/src/euf/Euf.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/Extract.v b/src/extraction/Extract.v index 9b88b71..138a2ba 100644 --- a/src/extraction/Extract.v +++ b/src/extraction/Extract.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/extrNative.ml b/src/extraction/extrNative.ml index ac93b5e..cc366db 100644 --- a/src/extraction/extrNative.ml +++ b/src/extraction/extrNative.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/extrNative.mli b/src/extraction/extrNative.mli index 60fecd3..775f187 100644 --- a/src/extraction/extrNative.mli +++ b/src/extraction/extrNative.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/sat_checker.ml b/src/extraction/sat_checker.ml index 52e4b75..839f95b 100644 --- a/src/extraction/sat_checker.ml +++ b/src/extraction/sat_checker.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/sat_checker.mli b/src/extraction/sat_checker.mli index 5a000c6..3ddb6e5 100644 --- a/src/extraction/sat_checker.mli +++ b/src/extraction/sat_checker.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/smt_checker.ml b/src/extraction/smt_checker.ml index a4fd407..96ba4a3 100644 --- a/src/extraction/smt_checker.ml +++ b/src/extraction/smt_checker.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/smt_checker.mli b/src/extraction/smt_checker.mli index 5fa8a97..841e91e 100644 --- a/src/extraction/smt_checker.mli +++ b/src/extraction/smt_checker.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/smtcoq.ml b/src/extraction/smtcoq.ml index d2cdaf1..5ba8ce0 100644 --- a/src/extraction/smtcoq.ml +++ b/src/extraction/smtcoq.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/smtcoq.mli b/src/extraction/smtcoq.mli index ba614ae..bf62ec3 100644 --- a/src/extraction/smtcoq.mli +++ b/src/extraction/smtcoq.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/test.ml b/src/extraction/test.ml index 44113e8..2444a23 100644 --- a/src/extraction/test.ml +++ b/src/extraction/test.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/verit_checker.ml b/src/extraction/verit_checker.ml index 0f88a71..796ae54 100644 --- a/src/extraction/verit_checker.ml +++ b/src/extraction/verit_checker.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/verit_checker.mli b/src/extraction/verit_checker.mli index 4491410..b24532e 100644 --- a/src/extraction/verit_checker.mli +++ b/src/extraction/verit_checker.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/zchaff_checker.ml b/src/extraction/zchaff_checker.ml index 8d87927..a53526b 100644 --- a/src/extraction/zchaff_checker.ml +++ b/src/extraction/zchaff_checker.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/extraction/zchaff_checker.mli b/src/extraction/zchaff_checker.mli index 7299b0e..511fd97 100644 --- a/src/extraction/zchaff_checker.mli +++ b/src/extraction/zchaff_checker.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/ast.ml b/src/lfsc/ast.ml index 73af5b2..7c2cd8f 100644 --- a/src/lfsc/ast.ml +++ b/src/lfsc/ast.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/ast.mli b/src/lfsc/ast.mli index 3bc0c16..00233b9 100644 --- a/src/lfsc/ast.mli +++ b/src/lfsc/ast.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/builtin.ml b/src/lfsc/builtin.ml index b01c414..e528db3 100644 --- a/src/lfsc/builtin.ml +++ b/src/lfsc/builtin.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/converter.ml b/src/lfsc/converter.ml index 8753bd0..d7766ea 100644 --- a/src/lfsc/converter.ml +++ b/src/lfsc/converter.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/hstring.ml b/src/lfsc/hstring.ml index c52bb0b..71d20f4 100644 --- a/src/lfsc/hstring.ml +++ b/src/lfsc/hstring.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/hstring.mli b/src/lfsc/hstring.mli index 53a4ebc..c18b35d 100644 --- a/src/lfsc/hstring.mli +++ b/src/lfsc/hstring.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/lfsc.ml b/src/lfsc/lfsc.ml index f17eb04..906340d 100644 --- a/src/lfsc/lfsc.ml +++ b/src/lfsc/lfsc.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/lfscLexer.mll b/src/lfsc/lfscLexer.mll index 3428b72..281bbb4 100644 --- a/src/lfsc/lfscLexer.mll +++ b/src/lfsc/lfscLexer.mll @@ -2,7 +2,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/lfscParser.mly b/src/lfsc/lfscParser.mly index 977c80d..9195695 100644 --- a/src/lfsc/lfscParser.mly +++ b/src/lfsc/lfscParser.mly @@ -2,7 +2,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/lfsctosmtcoq.ml b/src/lfsc/lfsctosmtcoq.ml index 85c3ef6..9d4cd03 100644 --- a/src/lfsc/lfsctosmtcoq.ml +++ b/src/lfsc/lfsctosmtcoq.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/shashcons.ml b/src/lfsc/shashcons.ml index c09e925..5dd0f2d 100644 --- a/src/lfsc/shashcons.ml +++ b/src/lfsc/shashcons.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/shashcons.mli b/src/lfsc/shashcons.mli index 0cc51cf..6787322 100644 --- a/src/lfsc/shashcons.mli +++ b/src/lfsc/shashcons.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/tosmtcoq.ml b/src/lfsc/tosmtcoq.ml index b542c87..e3bf733 100644 --- a/src/lfsc/tosmtcoq.ml +++ b/src/lfsc/tosmtcoq.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/tosmtcoq.mli b/src/lfsc/tosmtcoq.mli index c1f1852..317fafc 100644 --- a/src/lfsc/tosmtcoq.mli +++ b/src/lfsc/tosmtcoq.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/translator_sig.mli b/src/lfsc/translator_sig.mli index ca73443..fdc9baf 100644 --- a/src/lfsc/translator_sig.mli +++ b/src/lfsc/translator_sig.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/type.ml b/src/lfsc/type.ml index f089abe..e2ef8aa 100644 --- a/src/lfsc/type.ml +++ b/src/lfsc/type.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/veritPrinter.ml b/src/lfsc/veritPrinter.ml index f8ebf8c..a42a9a5 100644 --- a/src/lfsc/veritPrinter.ml +++ b/src/lfsc/veritPrinter.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lia/Lia.v b/src/lia/Lia.v index 7d0c9e8..316f647 100644 --- a/src/lia/Lia.v +++ b/src/lia/Lia.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lia/lia.ml b/src/lia/lia.ml index 2bb88f3..86107f0 100644 --- a/src/lia/lia.ml +++ b/src/lia/lia.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lia/lia.mli b/src/lia/lia.mli index bdd187c..8d1d691 100644 --- a/src/lia/lia.mli +++ b/src/lia/lia.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/smtlib2/sExpr.ml b/src/smtlib2/sExpr.ml index 2a5d8d5..2e0d5cd 100644 --- a/src/smtlib2/sExpr.ml +++ b/src/smtlib2/sExpr.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/smtlib2/sExpr.mli b/src/smtlib2/sExpr.mli index 4d8fe2b..12a0b1f 100644 --- a/src/smtlib2/sExpr.mli +++ b/src/smtlib2/sExpr.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/smtlib2/sExprLexer.mll b/src/smtlib2/sExprLexer.mll index 1c7983f..d926930 100644 --- a/src/smtlib2/sExprLexer.mll +++ b/src/smtlib2/sExprLexer.mll @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/smtlib2/sExprParser.mly b/src/smtlib2/sExprParser.mly index b13c1f6..a6d331a 100644 --- a/src/smtlib2/sExprParser.mly +++ b/src/smtlib2/sExprParser.mly @@ -2,7 +2,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/smtlib2/smtlib2_genConstr.ml b/src/smtlib2/smtlib2_genConstr.ml index 1c590d7..0213b2e 100644 --- a/src/smtlib2/smtlib2_genConstr.ml +++ b/src/smtlib2/smtlib2_genConstr.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/smtlib2/smtlib2_genConstr.mli b/src/smtlib2/smtlib2_genConstr.mli index f9e0364..65f47b5 100644 --- a/src/smtlib2/smtlib2_genConstr.mli +++ b/src/smtlib2/smtlib2_genConstr.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/smtlib2/smtlib2_solver.ml b/src/smtlib2/smtlib2_solver.ml index 99538ce..45a30f9 100644 --- a/src/smtlib2/smtlib2_solver.ml +++ b/src/smtlib2/smtlib2_solver.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/smtlib2/smtlib2_solver.mli b/src/smtlib2/smtlib2_solver.mli index a595935..81aac96 100644 --- a/src/smtlib2/smtlib2_solver.mli +++ b/src/smtlib2/smtlib2_solver.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/spl/Arithmetic.v b/src/spl/Arithmetic.v index 8a12679..cca1c21 100644 --- a/src/spl/Arithmetic.v +++ b/src/spl/Arithmetic.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/spl/Assumptions.v b/src/spl/Assumptions.v index 32ab634..1affa38 100644 --- a/src/spl/Assumptions.v +++ b/src/spl/Assumptions.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/spl/Operators.v b/src/spl/Operators.v index 63a1f8b..4faee39 100644 --- a/src/spl/Operators.v +++ b/src/spl/Operators.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/spl/Syntactic.v b/src/spl/Syntactic.v index 054c5ea..e50d810 100644 --- a/src/spl/Syntactic.v +++ b/src/spl/Syntactic.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/coqTerms.ml b/src/trace/coqTerms.ml index 65995b5..dcacd4b 100644 --- a/src/trace/coqTerms.ml +++ b/src/trace/coqTerms.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/coqTerms.mli b/src/trace/coqTerms.mli index 282f8f6..f62f01a 100644 --- a/src/trace/coqTerms.mli +++ b/src/trace/coqTerms.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/satAtom.ml b/src/trace/satAtom.ml index 6ffd752..4a3a62d 100644 --- a/src/trace/satAtom.ml +++ b/src/trace/satAtom.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/satAtom.mli b/src/trace/satAtom.mli index b6a8dea..1e14cbb 100644 --- a/src/trace/satAtom.mli +++ b/src/trace/satAtom.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtAtom.ml b/src/trace/smtAtom.ml index 06e1472..1befbf7 100644 --- a/src/trace/smtAtom.ml +++ b/src/trace/smtAtom.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtAtom.mli b/src/trace/smtAtom.mli index 645a638..b430d6f 100644 --- a/src/trace/smtAtom.mli +++ b/src/trace/smtAtom.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtBtype.ml b/src/trace/smtBtype.ml index 7c08157..71f7c14 100644 --- a/src/trace/smtBtype.ml +++ b/src/trace/smtBtype.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtBtype.mli b/src/trace/smtBtype.mli index ec73d21..05a8486 100644 --- a/src/trace/smtBtype.mli +++ b/src/trace/smtBtype.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtCertif.ml b/src/trace/smtCertif.ml index 2ea4ca8..33437bf 100644 --- a/src/trace/smtCertif.ml +++ b/src/trace/smtCertif.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtCertif.mli b/src/trace/smtCertif.mli index 7da3097..ef25b1f 100644 --- a/src/trace/smtCertif.mli +++ b/src/trace/smtCertif.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtCnf.ml b/src/trace/smtCnf.ml index c7601d5..ffd2c45 100644 --- a/src/trace/smtCnf.ml +++ b/src/trace/smtCnf.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtCnf.mli b/src/trace/smtCnf.mli index ba9be04..b15eef7 100644 --- a/src/trace/smtCnf.mli +++ b/src/trace/smtCnf.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtCommands.ml b/src/trace/smtCommands.ml index 9cfc7c4..d15ae68 100644 --- a/src/trace/smtCommands.ml +++ b/src/trace/smtCommands.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtCommands.mli b/src/trace/smtCommands.mli index b643594..eddf576 100644 --- a/src/trace/smtCommands.mli +++ b/src/trace/smtCommands.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtForm.ml b/src/trace/smtForm.ml index a86fe8a..6f26f24 100644 --- a/src/trace/smtForm.ml +++ b/src/trace/smtForm.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtForm.mli b/src/trace/smtForm.mli index e3c3859..9678b4c 100644 --- a/src/trace/smtForm.mli +++ b/src/trace/smtForm.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtMaps.ml b/src/trace/smtMaps.ml index 8b1bc9f..df87579 100644 --- a/src/trace/smtMaps.ml +++ b/src/trace/smtMaps.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtMaps.mli b/src/trace/smtMaps.mli index 220b22a..ebbdc64 100644 --- a/src/trace/smtMaps.mli +++ b/src/trace/smtMaps.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtMisc.ml b/src/trace/smtMisc.ml index e4747dd..227f2ff 100644 --- a/src/trace/smtMisc.ml +++ b/src/trace/smtMisc.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtMisc.mli b/src/trace/smtMisc.mli index 6378627..149e377 100644 --- a/src/trace/smtMisc.mli +++ b/src/trace/smtMisc.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtTrace.ml b/src/trace/smtTrace.ml index 876e420..e637b5c 100644 --- a/src/trace/smtTrace.ml +++ b/src/trace/smtTrace.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/trace/smtTrace.mli b/src/trace/smtTrace.mli index 2c70bbc..06dc6a3 100644 --- a/src/trace/smtTrace.mli +++ b/src/trace/smtTrace.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/verit/verit.ml b/src/verit/verit.ml index eed1dca..3a5308b 100644 --- a/src/verit/verit.ml +++ b/src/verit/verit.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/verit/verit.mli b/src/verit/verit.mli index 0560d77..4583bbd 100644 --- a/src/verit/verit.mli +++ b/src/verit/verit.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/verit/veritLexer.mll b/src/verit/veritLexer.mll index e6592bd..47ad83e 100644 --- a/src/verit/veritLexer.mll +++ b/src/verit/veritLexer.mll @@ -2,7 +2,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/verit/veritParser.mly b/src/verit/veritParser.mly index 6829deb..18d2e93 100644 --- a/src/verit/veritParser.mly +++ b/src/verit/veritParser.mly @@ -2,7 +2,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/verit/veritSyntax.ml b/src/verit/veritSyntax.ml index e0f0fcc..cb5b9a6 100644 --- a/src/verit/veritSyntax.ml +++ b/src/verit/veritSyntax.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/verit/veritSyntax.mli b/src/verit/veritSyntax.mli index 64af070..4550d41 100644 --- a/src/verit/veritSyntax.mli +++ b/src/verit/veritSyntax.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/native/Structures_native.v b/src/versions/native/Structures_native.v index 47ae21f..a77832d 100644 --- a/src/versions/native/Structures_native.v +++ b/src/versions/native/Structures_native.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/native/Tactics_native.v b/src/versions/native/Tactics_native.v index 45d3603..9b8d670 100644 --- a/src/versions/native/Tactics_native.v +++ b/src/versions/native/Tactics_native.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/native/smtcoq_plugin_native.ml4 b/src/versions/native/smtcoq_plugin_native.ml4 index ebf8511..6b05900 100644 --- a/src/versions/native/smtcoq_plugin_native.ml4 +++ b/src/versions/native/smtcoq_plugin_native.ml4 @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/native/structures.ml b/src/versions/native/structures.ml index 0738801..d34f3f3 100644 --- a/src/versions/native/structures.ml +++ b/src/versions/native/structures.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/native/structures.mli b/src/versions/native/structures.mli index d8071d9..e54f8e8 100644 --- a/src/versions/native/structures.mli +++ b/src/versions/native/structures.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/standard/Array/PArray_standard.v b/src/versions/standard/Array/PArray_standard.v index 947eb49..4ebcd63 100644 --- a/src/versions/standard/Array/PArray_standard.v +++ b/src/versions/standard/Array/PArray_standard.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/standard/Int63/Int63Axioms_standard.v b/src/versions/standard/Int63/Int63Axioms_standard.v index 9625bce..e9c2dfe 100644 --- a/src/versions/standard/Int63/Int63Axioms_standard.v +++ b/src/versions/standard/Int63/Int63Axioms_standard.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/standard/Int63/Int63Native_standard.v b/src/versions/standard/Int63/Int63Native_standard.v index 6600a27..9fd425b 100644 --- a/src/versions/standard/Int63/Int63Native_standard.v +++ b/src/versions/standard/Int63/Int63Native_standard.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/standard/Int63/Int63Op_standard.v b/src/versions/standard/Int63/Int63Op_standard.v index bb7d9a1..2998adb 100644 --- a/src/versions/standard/Int63/Int63Op_standard.v +++ b/src/versions/standard/Int63/Int63Op_standard.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/standard/Int63/Int63Properties_standard.v b/src/versions/standard/Int63/Int63Properties_standard.v index feb19b8..a55295e 100644 --- a/src/versions/standard/Int63/Int63Properties_standard.v +++ b/src/versions/standard/Int63/Int63Properties_standard.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/standard/Int63/Int63_standard.v b/src/versions/standard/Int63/Int63_standard.v index acee305..42ede79 100644 --- a/src/versions/standard/Int63/Int63_standard.v +++ b/src/versions/standard/Int63/Int63_standard.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/standard/Structures_standard.v b/src/versions/standard/Structures_standard.v index 1a0abf5..1155874 100644 --- a/src/versions/standard/Structures_standard.v +++ b/src/versions/standard/Structures_standard.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/standard/Tactics_standard.v b/src/versions/standard/Tactics_standard.v index 5be62cc..14b984b 100644 --- a/src/versions/standard/Tactics_standard.v +++ b/src/versions/standard/Tactics_standard.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/standard/g_smtcoq_standard.ml4 b/src/versions/standard/g_smtcoq_standard.ml4 index ecb0cf5..ecc2416 100644 --- a/src/versions/standard/g_smtcoq_standard.ml4 +++ b/src/versions/standard/g_smtcoq_standard.ml4 @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/standard/structures.ml b/src/versions/standard/structures.ml index b64cb89..137e543 100644 --- a/src/versions/standard/structures.ml +++ b/src/versions/standard/structures.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/versions/standard/structures.mli b/src/versions/standard/structures.mli index 8989c9c..9fa4673 100644 --- a/src/versions/standard/structures.mli +++ b/src/versions/standard/structures.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/zchaff/cnfParser.ml b/src/zchaff/cnfParser.ml index 0efe192..660538a 100644 --- a/src/zchaff/cnfParser.ml +++ b/src/zchaff/cnfParser.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/zchaff/cnfParser.mli b/src/zchaff/cnfParser.mli index 6ab5e08..3188591 100644 --- a/src/zchaff/cnfParser.mli +++ b/src/zchaff/cnfParser.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/zchaff/satParser.ml b/src/zchaff/satParser.ml index d8e066f..82ee788 100644 --- a/src/zchaff/satParser.ml +++ b/src/zchaff/satParser.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/zchaff/satParser.mli b/src/zchaff/satParser.mli index 8fa78ce..349fcad 100644 --- a/src/zchaff/satParser.mli +++ b/src/zchaff/satParser.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/zchaff/zchaff.ml b/src/zchaff/zchaff.ml index 963c8e4..c3aaa64 100644 --- a/src/zchaff/zchaff.ml +++ b/src/zchaff/zchaff.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/zchaff/zchaff.mli b/src/zchaff/zchaff.mli index 3f458d3..612c063 100644 --- a/src/zchaff/zchaff.mli +++ b/src/zchaff/zchaff.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/zchaff/zchaffParser.ml b/src/zchaff/zchaffParser.ml index 4f457e6..00d2034 100644 --- a/src/zchaff/zchaffParser.ml +++ b/src/zchaff/zchaffParser.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/zchaff/zchaffParser.mli b/src/zchaff/zchaffParser.mli index 8fa4301..6957f11 100644 --- a/src/zchaff/zchaffParser.mli +++ b/src/zchaff/zchaffParser.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/unit-tests/Tests_lfsc_tactics.v b/unit-tests/Tests_lfsc_tactics.v index cb9d7ba..0054ae3 100644 --- a/unit-tests/Tests_lfsc_tactics.v +++ b/unit-tests/Tests_lfsc_tactics.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/unit-tests/Tests_verit_tactics.v b/unit-tests/Tests_verit_tactics.v index 1bbf484..a6ea27b 100644 --- a/unit-tests/Tests_verit_tactics.v +++ b/unit-tests/Tests_verit_tactics.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/unit-tests/Tests_verit_vernac.v b/unit-tests/Tests_verit_vernac.v index 22db2e8..36a3e27 100644 --- a/unit-tests/Tests_verit_vernac.v +++ b/unit-tests/Tests_verit_vernac.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/unit-tests/Tests_zchaff_tactics.v b/unit-tests/Tests_zchaff_tactics.v index 085436a..b17eb6b 100644 --- a/unit-tests/Tests_zchaff_tactics.v +++ b/unit-tests/Tests_zchaff_tactics.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/unit-tests/Tests_zchaff_vernac.v b/unit-tests/Tests_zchaff_vernac.v index 08f45a1..05d6479 100644 --- a/unit-tests/Tests_zchaff_vernac.v +++ b/unit-tests/Tests_zchaff_vernac.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/unit-tests/demo_lfsc_bool.v b/unit-tests/demo_lfsc_bool.v index 39bc6a1..78688c1 100644 --- a/unit-tests/demo_lfsc_bool.v +++ b/unit-tests/demo_lfsc_bool.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/unit-tests/demo_lfsc_prop.v b/unit-tests/demo_lfsc_prop.v index d15e58a..e820ce6 100644 --- a/unit-tests/demo_lfsc_prop.v +++ b/unit-tests/demo_lfsc_prop.v @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2021 *) +(* Copyright (C) 2011 - 2022 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) |