diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-05-26 11:40:54 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-05-26 11:40:54 +0200 |
| commit | 18536f162cc9126e743627819dcd69434b91e683 (patch) | |
| tree | 9a4eeb47ca5de3ac0beb50663b41dfd5ebefa2c1 /src/lfsc | |
| parent | c827acdbf2814bc13495ab1599af9dfe85e32fbb (diff) | |
| download | smtcoq-18536f162cc9126e743627819dcd69434b91e683.tar.gz smtcoq-18536f162cc9126e743627819dcd69434b91e683.zip | |
Update copyright
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 454bc0a..73af5b2 100644 --- a/src/lfsc/ast.ml +++ b/src/lfsc/ast.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/ast.mli b/src/lfsc/ast.mli index 0e5d5bf..3bc0c16 100644 --- a/src/lfsc/ast.mli +++ b/src/lfsc/ast.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/builtin.ml b/src/lfsc/builtin.ml index 86899df..b01c414 100644 --- a/src/lfsc/builtin.ml +++ b/src/lfsc/builtin.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/converter.ml b/src/lfsc/converter.ml index 2dfbed3..8753bd0 100644 --- a/src/lfsc/converter.ml +++ b/src/lfsc/converter.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/hstring.ml b/src/lfsc/hstring.ml index aa948e0..c52bb0b 100644 --- a/src/lfsc/hstring.ml +++ b/src/lfsc/hstring.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/hstring.mli b/src/lfsc/hstring.mli index 7132c59..53a4ebc 100644 --- a/src/lfsc/hstring.mli +++ b/src/lfsc/hstring.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/lfsc.ml b/src/lfsc/lfsc.ml index 7938885..f17eb04 100644 --- a/src/lfsc/lfsc.ml +++ b/src/lfsc/lfsc.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/lfscLexer.mll b/src/lfsc/lfscLexer.mll index 242df00..3428b72 100644 --- a/src/lfsc/lfscLexer.mll +++ b/src/lfsc/lfscLexer.mll @@ -2,7 +2,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/lfscParser.mly b/src/lfsc/lfscParser.mly index 3d6749f..977c80d 100644 --- a/src/lfsc/lfscParser.mly +++ b/src/lfsc/lfscParser.mly @@ -2,7 +2,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/lfsctosmtcoq.ml b/src/lfsc/lfsctosmtcoq.ml index 0e9371d..85c3ef6 100644 --- a/src/lfsc/lfsctosmtcoq.ml +++ b/src/lfsc/lfsctosmtcoq.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/shashcons.ml b/src/lfsc/shashcons.ml index a3d0f0c..c09e925 100644 --- a/src/lfsc/shashcons.ml +++ b/src/lfsc/shashcons.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/shashcons.mli b/src/lfsc/shashcons.mli index 049ec5f..0cc51cf 100644 --- a/src/lfsc/shashcons.mli +++ b/src/lfsc/shashcons.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/tosmtcoq.ml b/src/lfsc/tosmtcoq.ml index 0719803..b542c87 100644 --- a/src/lfsc/tosmtcoq.ml +++ b/src/lfsc/tosmtcoq.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/tosmtcoq.mli b/src/lfsc/tosmtcoq.mli index 34d3119..c1f1852 100644 --- a/src/lfsc/tosmtcoq.mli +++ b/src/lfsc/tosmtcoq.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/translator_sig.mli b/src/lfsc/translator_sig.mli index 0937aef..ca73443 100644 --- a/src/lfsc/translator_sig.mli +++ b/src/lfsc/translator_sig.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/type.ml b/src/lfsc/type.ml index 7c30a2a..f089abe 100644 --- a/src/lfsc/type.ml +++ b/src/lfsc/type.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) diff --git a/src/lfsc/veritPrinter.ml b/src/lfsc/veritPrinter.ml index 4601587..f8ebf8c 100644 --- a/src/lfsc/veritPrinter.ml +++ b/src/lfsc/veritPrinter.ml @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) |