From 18536f162cc9126e743627819dcd69434b91e683 Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Wed, 26 May 2021 11:40:54 +0200 Subject: Update copyright --- src/extraction/Extract.v | 2 +- src/extraction/extrNative.ml | 2 +- src/extraction/extrNative.mli | 2 +- src/extraction/sat_checker.ml | 2 +- src/extraction/sat_checker.mli | 2 +- src/extraction/smt_checker.ml | 2 +- src/extraction/smt_checker.mli | 2 +- src/extraction/smtcoq.ml | 2 +- src/extraction/smtcoq.mli | 2 +- src/extraction/test.ml | 2 +- src/extraction/verit_checker.ml | 2 +- src/extraction/verit_checker.mli | 2 +- src/extraction/zchaff_checker.ml | 2 +- src/extraction/zchaff_checker.mli | 2 +- 14 files changed, 14 insertions(+), 14 deletions(-) (limited to 'src/extraction') diff --git a/src/extraction/Extract.v b/src/extraction/Extract.v index 30d6f8d..9b88b71 100644 --- a/src/extraction/Extract.v +++ b/src/extraction/Extract.v @@ -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/extraction/extrNative.ml b/src/extraction/extrNative.ml index 6ce641b..ac93b5e 100644 --- a/src/extraction/extrNative.ml +++ b/src/extraction/extrNative.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/extraction/extrNative.mli b/src/extraction/extrNative.mli index 48d2df6..60fecd3 100644 --- a/src/extraction/extrNative.mli +++ b/src/extraction/extrNative.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/extraction/sat_checker.ml b/src/extraction/sat_checker.ml index ff366d0..52e4b75 100644 --- a/src/extraction/sat_checker.ml +++ b/src/extraction/sat_checker.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/extraction/sat_checker.mli b/src/extraction/sat_checker.mli index e61dc0d..5a000c6 100644 --- a/src/extraction/sat_checker.mli +++ b/src/extraction/sat_checker.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/extraction/smt_checker.ml b/src/extraction/smt_checker.ml index 3434340..a4fd407 100644 --- a/src/extraction/smt_checker.ml +++ b/src/extraction/smt_checker.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/extraction/smt_checker.mli b/src/extraction/smt_checker.mli index c244c06..5fa8a97 100644 --- a/src/extraction/smt_checker.mli +++ b/src/extraction/smt_checker.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/extraction/smtcoq.ml b/src/extraction/smtcoq.ml index d7633e9..d2cdaf1 100644 --- a/src/extraction/smtcoq.ml +++ b/src/extraction/smtcoq.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/extraction/smtcoq.mli b/src/extraction/smtcoq.mli index b0b18b1..ba614ae 100644 --- a/src/extraction/smtcoq.mli +++ b/src/extraction/smtcoq.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/extraction/test.ml b/src/extraction/test.ml index a523389..44113e8 100644 --- a/src/extraction/test.ml +++ b/src/extraction/test.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/extraction/verit_checker.ml b/src/extraction/verit_checker.ml index 1471134..0f88a71 100644 --- a/src/extraction/verit_checker.ml +++ b/src/extraction/verit_checker.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/extraction/verit_checker.mli b/src/extraction/verit_checker.mli index a8ac01e..4491410 100644 --- a/src/extraction/verit_checker.mli +++ b/src/extraction/verit_checker.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/extraction/zchaff_checker.ml b/src/extraction/zchaff_checker.ml index 124a1c3..8d87927 100644 --- a/src/extraction/zchaff_checker.ml +++ b/src/extraction/zchaff_checker.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/extraction/zchaff_checker.mli b/src/extraction/zchaff_checker.mli index ffaf5d1..7299b0e 100644 --- a/src/extraction/zchaff_checker.mli +++ b/src/extraction/zchaff_checker.mli @@ -1,7 +1,7 @@ (**************************************************************************) (* *) (* SMTCoq *) -(* Copyright (C) 2011 - 2019 *) +(* Copyright (C) 2011 - 2021 *) (* *) (* See file "AUTHORS" for the list of authors *) (* *) -- cgit