From 2fdaf566e83897ed46127791d731f5788c22907c Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Wed, 16 Feb 2022 17:35:44 +0100 Subject: Update copyright --- src/lfsc/ast.ml | 2 +- src/lfsc/ast.mli | 2 +- src/lfsc/builtin.ml | 2 +- src/lfsc/converter.ml | 2 +- src/lfsc/hstring.ml | 2 +- src/lfsc/hstring.mli | 2 +- src/lfsc/lfsc.ml | 2 +- src/lfsc/lfscLexer.mll | 2 +- src/lfsc/lfscParser.mly | 2 +- src/lfsc/lfsctosmtcoq.ml | 2 +- src/lfsc/shashcons.ml | 2 +- src/lfsc/shashcons.mli | 2 +- src/lfsc/tosmtcoq.ml | 2 +- src/lfsc/tosmtcoq.mli | 2 +- src/lfsc/translator_sig.mli | 2 +- src/lfsc/type.ml | 2 +- src/lfsc/veritPrinter.ml | 2 +- 17 files changed, 17 insertions(+), 17 deletions(-) (limited to 'src/lfsc') 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 *) (* *) -- cgit