diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-05-26 11:42:34 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-05-26 11:42:34 +0200 |
| commit | 7af9476426f4dff75cd1ce50fc3c4c81b2134eac (patch) | |
| tree | 1c3da7441e38358706155b8d275df3298a30dcec /src/extraction | |
| parent | 660364faca9dc1708b746c50aac9de6262de1d96 (diff) | |
| parent | 1f414ad1cfcef2e8cfb59659cf743401716bc90c (diff) | |
| download | smtcoq-7af9476426f4dff75cd1ce50fc3c4c81b2134eac.tar.gz smtcoq-7af9476426f4dff75cd1ce50fc3c4c81b2134eac.zip | |
Merge branch 'coq-8.11' of github.com:smtcoq/smtcoq into coq-8.12
Diffstat (limited to 'src/extraction')
| -rw-r--r-- | src/extraction/Extract.v | 2 | ||||
| -rw-r--r-- | src/extraction/extrNative.ml | 2 | ||||
| -rw-r--r-- | src/extraction/extrNative.mli | 2 | ||||
| -rw-r--r-- | src/extraction/sat_checker.ml | 2 | ||||
| -rw-r--r-- | src/extraction/sat_checker.mli | 2 | ||||
| -rw-r--r-- | src/extraction/smt_checker.ml | 2 | ||||
| -rw-r--r-- | src/extraction/smt_checker.mli | 2 | ||||
| -rw-r--r-- | src/extraction/smtcoq.ml | 2 | ||||
| -rw-r--r-- | src/extraction/smtcoq.mli | 2 | ||||
| -rw-r--r-- | src/extraction/test.ml | 2 | ||||
| -rw-r--r-- | src/extraction/verit_checker.ml | 2 | ||||
| -rw-r--r-- | src/extraction/verit_checker.mli | 2 | ||||
| -rw-r--r-- | src/extraction/zchaff_checker.ml | 2 | ||||
| -rw-r--r-- | src/extraction/zchaff_checker.mli | 2 |
14 files changed, 14 insertions, 14 deletions
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 *) (* *) |