diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-17 10:47:36 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-17 10:47:36 +0100 |
commit | bf51e8a18116d3f2f340d3be0444c7e15b2c21cb (patch) | |
tree | 00ae64550607aa8e522b079a4b57ec146f7dd560 /src/lfsc | |
parent | 761a4af555c228a9fdd34ae33f9c842931a592cf (diff) | |
parent | a9e7740b79326a5eeca4bead2c6ad0b5e8010d35 (diff) | |
download | smtcoq-bf51e8a18116d3f2f340d3be0444c7e15b2c21cb.tar.gz smtcoq-bf51e8a18116d3f2f340d3be0444c7e15b2c21cb.zip |
Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11
Diffstat (limited to 'src/lfsc')
-rw-r--r-- | src/lfsc/ast.ml | 2 | ||||
-rw-r--r-- | src/lfsc/ast.mli | 2 | ||||
-rw-r--r-- | src/lfsc/builtin.ml | 2 | ||||
-rw-r--r-- | src/lfsc/converter.ml | 2 | ||||
-rw-r--r-- | src/lfsc/hstring.ml | 2 | ||||
-rw-r--r-- | src/lfsc/hstring.mli | 2 | ||||
-rw-r--r-- | src/lfsc/lfsc.ml | 2 | ||||
-rw-r--r-- | src/lfsc/lfscLexer.mll | 2 | ||||
-rw-r--r-- | src/lfsc/lfscParser.mly | 2 | ||||
-rw-r--r-- | src/lfsc/lfsctosmtcoq.ml | 2 | ||||
-rw-r--r-- | src/lfsc/shashcons.ml | 2 | ||||
-rw-r--r-- | src/lfsc/shashcons.mli | 2 | ||||
-rw-r--r-- | src/lfsc/tosmtcoq.ml | 2 | ||||
-rw-r--r-- | src/lfsc/tosmtcoq.mli | 2 | ||||
-rw-r--r-- | src/lfsc/translator_sig.mli | 2 | ||||
-rw-r--r-- | src/lfsc/type.ml | 2 | ||||
-rw-r--r-- | src/lfsc/veritPrinter.ml | 2 |
17 files changed, 17 insertions, 17 deletions
diff --git a/src/lfsc/ast.ml b/src/lfsc/ast.ml index 36f7d85..d231dc6 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 4a7d0cb..3ee5f33 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 f2157a4..10e40ed 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 1e49d26..e9ba5fb 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 *) (* *) |