aboutsummaryrefslogtreecommitdiffstats
path: root/src/trace
diff options
context:
space:
mode:
authorChantal Keller <Chantal.Keller@lri.fr>2021-05-26 11:42:34 +0200
committerChantal Keller <Chantal.Keller@lri.fr>2021-05-26 11:42:34 +0200
commit7af9476426f4dff75cd1ce50fc3c4c81b2134eac (patch)
tree1c3da7441e38358706155b8d275df3298a30dcec /src/trace
parent660364faca9dc1708b746c50aac9de6262de1d96 (diff)
parent1f414ad1cfcef2e8cfb59659cf743401716bc90c (diff)
downloadsmtcoq-7af9476426f4dff75cd1ce50fc3c4c81b2134eac.tar.gz
smtcoq-7af9476426f4dff75cd1ce50fc3c4c81b2134eac.zip
Merge branch 'coq-8.11' of github.com:smtcoq/smtcoq into coq-8.12
Diffstat (limited to 'src/trace')
-rw-r--r--src/trace/coqTerms.ml2
-rw-r--r--src/trace/coqTerms.mli2
-rw-r--r--src/trace/satAtom.ml2
-rw-r--r--src/trace/satAtom.mli2
-rw-r--r--src/trace/smtAtom.ml2
-rw-r--r--src/trace/smtAtom.mli2
-rw-r--r--src/trace/smtBtype.ml2
-rw-r--r--src/trace/smtBtype.mli2
-rw-r--r--src/trace/smtCertif.ml2
-rw-r--r--src/trace/smtCertif.mli2
-rw-r--r--src/trace/smtCnf.ml2
-rw-r--r--src/trace/smtCnf.mli2
-rw-r--r--src/trace/smtCommands.ml2
-rw-r--r--src/trace/smtCommands.mli2
-rw-r--r--src/trace/smtForm.ml2
-rw-r--r--src/trace/smtForm.mli2
-rw-r--r--src/trace/smtMaps.ml2
-rw-r--r--src/trace/smtMaps.mli2
-rw-r--r--src/trace/smtMisc.ml2
-rw-r--r--src/trace/smtMisc.mli2
-rw-r--r--src/trace/smtTrace.ml2
-rw-r--r--src/trace/smtTrace.mli2
22 files changed, 22 insertions, 22 deletions
diff --git a/src/trace/coqTerms.ml b/src/trace/coqTerms.ml
index a5a95ea..c6188b8 100644
--- a/src/trace/coqTerms.ml
+++ b/src/trace/coqTerms.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/trace/coqTerms.mli b/src/trace/coqTerms.mli
index b5ca6b7..282f8f6 100644
--- a/src/trace/coqTerms.mli
+++ b/src/trace/coqTerms.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/trace/satAtom.ml b/src/trace/satAtom.ml
index 0c5bf83..6ffd752 100644
--- a/src/trace/satAtom.ml
+++ b/src/trace/satAtom.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/trace/satAtom.mli b/src/trace/satAtom.mli
index 92f9bc7..b6a8dea 100644
--- a/src/trace/satAtom.mli
+++ b/src/trace/satAtom.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/trace/smtAtom.ml b/src/trace/smtAtom.ml
index f0a907a..2710eb2 100644
--- a/src/trace/smtAtom.ml
+++ b/src/trace/smtAtom.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/trace/smtAtom.mli b/src/trace/smtAtom.mli
index 37fcd88..645a638 100644
--- a/src/trace/smtAtom.mli
+++ b/src/trace/smtAtom.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/trace/smtBtype.ml b/src/trace/smtBtype.ml
index 2194a57..3b6d107 100644
--- a/src/trace/smtBtype.ml
+++ b/src/trace/smtBtype.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/trace/smtBtype.mli b/src/trace/smtBtype.mli
index 2f8f7b0..ec73d21 100644
--- a/src/trace/smtBtype.mli
+++ b/src/trace/smtBtype.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/trace/smtCertif.ml b/src/trace/smtCertif.ml
index 27b56c3..2ea4ca8 100644
--- a/src/trace/smtCertif.ml
+++ b/src/trace/smtCertif.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/trace/smtCertif.mli b/src/trace/smtCertif.mli
index 3f65930..7da3097 100644
--- a/src/trace/smtCertif.mli
+++ b/src/trace/smtCertif.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/trace/smtCnf.ml b/src/trace/smtCnf.ml
index 0b82824..c7601d5 100644
--- a/src/trace/smtCnf.ml
+++ b/src/trace/smtCnf.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/trace/smtCnf.mli b/src/trace/smtCnf.mli
index 1025ac4..ba9be04 100644
--- a/src/trace/smtCnf.mli
+++ b/src/trace/smtCnf.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/trace/smtCommands.ml b/src/trace/smtCommands.ml
index 23ce54b..63b72b5 100644
--- a/src/trace/smtCommands.ml
+++ b/src/trace/smtCommands.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/trace/smtCommands.mli b/src/trace/smtCommands.mli
index 9a1b681..b643594 100644
--- a/src/trace/smtCommands.mli
+++ b/src/trace/smtCommands.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/trace/smtForm.ml b/src/trace/smtForm.ml
index 3d56b6a..7f2ebd8 100644
--- a/src/trace/smtForm.ml
+++ b/src/trace/smtForm.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/trace/smtForm.mli b/src/trace/smtForm.mli
index fead657..06a867f 100644
--- a/src/trace/smtForm.mli
+++ b/src/trace/smtForm.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/trace/smtMaps.ml b/src/trace/smtMaps.ml
index 86239fb..8b1bc9f 100644
--- a/src/trace/smtMaps.ml
+++ b/src/trace/smtMaps.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/trace/smtMaps.mli b/src/trace/smtMaps.mli
index 7808854..220b22a 100644
--- a/src/trace/smtMaps.mli
+++ b/src/trace/smtMaps.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/trace/smtMisc.ml b/src/trace/smtMisc.ml
index 0b6eeaa..d750550 100644
--- a/src/trace/smtMisc.ml
+++ b/src/trace/smtMisc.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/trace/smtMisc.mli b/src/trace/smtMisc.mli
index e442e68..a6f5db8 100644
--- a/src/trace/smtMisc.mli
+++ b/src/trace/smtMisc.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/trace/smtTrace.ml b/src/trace/smtTrace.ml
index ef017a7..65994f9 100644
--- a/src/trace/smtTrace.ml
+++ b/src/trace/smtTrace.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/trace/smtTrace.mli b/src/trace/smtTrace.mli
index a12e2e7..2c70bbc 100644
--- a/src/trace/smtTrace.mli
+++ b/src/trace/smtTrace.mli
@@ -1,7 +1,7 @@
(**************************************************************************)
(* *)
(* SMTCoq *)
-(* Copyright (C) 2011 - 2019 *)
+(* Copyright (C) 2011 - 2021 *)
(* *)
(* See file "AUTHORS" for the list of authors *)
(* *)
generated by cgit (git 2.34.1) at 2024-06-29 08:46:31 +0000