aboutsummaryrefslogtreecommitdiffstats
path: root/src/trace
diff options
context:
space:
mode:
authorChantal Keller <Chantal.Keller@lri.fr>2022-02-17 10:38:53 +0100
committerChantal Keller <Chantal.Keller@lri.fr>2022-02-17 10:43:39 +0100
commita9e7740b79326a5eeca4bead2c6ad0b5e8010d35 (patch)
tree8f0a4f81f6b79ceaaf6e9a1d89e5c1158a3162d6 /src/trace
parent04964c70f5afd95d66fc76945e62dce773a3b3bc (diff)
parent2fdaf566e83897ed46127791d731f5788c22907c (diff)
downloadsmtcoq-a9e7740b79326a5eeca4bead2c6ad0b5e8010d35.tar.gz
smtcoq-a9e7740b79326a5eeca4bead2c6ad0b5e8010d35.zip
Merge remote-tracking branch 'origin/master' into coq-8.10
Diffstat (limited to 'src/trace')
-rw-r--r--src/trace/coqInterface.ml2
-rw-r--r--src/trace/coqInterface.mli2
-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
24 files changed, 24 insertions, 24 deletions
diff --git a/src/trace/coqInterface.ml b/src/trace/coqInterface.ml
index 65cd99c..9b2c72c 100644
--- a/src/trace/coqInterface.ml
+++ b/src/trace/coqInterface.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/trace/coqInterface.mli b/src/trace/coqInterface.mli
index 857303c..0536ef1 100644
--- a/src/trace/coqInterface.mli
+++ b/src/trace/coqInterface.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/trace/coqTerms.ml b/src/trace/coqTerms.ml
index 1dc5af0..87a21b8 100644
--- a/src/trace/coqTerms.ml
+++ b/src/trace/coqTerms.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/trace/coqTerms.mli b/src/trace/coqTerms.mli
index b5b1a0b..53622ac 100644
--- a/src/trace/coqTerms.mli
+++ b/src/trace/coqTerms.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/trace/satAtom.ml b/src/trace/satAtom.ml
index bc59943..37e6a8c 100644
--- a/src/trace/satAtom.ml
+++ b/src/trace/satAtom.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/trace/satAtom.mli b/src/trace/satAtom.mli
index 875e1ad..9f4272c 100644
--- a/src/trace/satAtom.mli
+++ b/src/trace/satAtom.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/trace/smtAtom.ml b/src/trace/smtAtom.ml
index 23c56e7..ccd9629 100644
--- a/src/trace/smtAtom.ml
+++ b/src/trace/smtAtom.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/trace/smtAtom.mli b/src/trace/smtAtom.mli
index 05d4042..57992d2 100644
--- a/src/trace/smtAtom.mli
+++ b/src/trace/smtAtom.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/trace/smtBtype.ml b/src/trace/smtBtype.ml
index 923874e..fa3ed5f 100644
--- a/src/trace/smtBtype.ml
+++ b/src/trace/smtBtype.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/trace/smtBtype.mli b/src/trace/smtBtype.mli
index 7060ab6..9503645 100644
--- a/src/trace/smtBtype.mli
+++ b/src/trace/smtBtype.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/trace/smtCertif.ml b/src/trace/smtCertif.ml
index 24cdf78..3264d9e 100644
--- a/src/trace/smtCertif.ml
+++ b/src/trace/smtCertif.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/trace/smtCertif.mli b/src/trace/smtCertif.mli
index bc2da38..999131c 100644
--- a/src/trace/smtCertif.mli
+++ b/src/trace/smtCertif.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/trace/smtCnf.ml b/src/trace/smtCnf.ml
index c7601d5..ffd2c45 100644
--- a/src/trace/smtCnf.ml
+++ b/src/trace/smtCnf.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/trace/smtCnf.mli b/src/trace/smtCnf.mli
index ba9be04..b15eef7 100644
--- a/src/trace/smtCnf.mli
+++ b/src/trace/smtCnf.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/trace/smtCommands.ml b/src/trace/smtCommands.ml
index 82dd46f..2108da4 100644
--- a/src/trace/smtCommands.ml
+++ b/src/trace/smtCommands.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/trace/smtCommands.mli b/src/trace/smtCommands.mli
index e885028..d0ebb61 100644
--- a/src/trace/smtCommands.mli
+++ b/src/trace/smtCommands.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/trace/smtForm.ml b/src/trace/smtForm.ml
index 8019f3b..2d68252 100644
--- a/src/trace/smtForm.ml
+++ b/src/trace/smtForm.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/trace/smtForm.mli b/src/trace/smtForm.mli
index 560b9e4..6a5fca8 100644
--- a/src/trace/smtForm.mli
+++ b/src/trace/smtForm.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/trace/smtMaps.ml b/src/trace/smtMaps.ml
index 8b1bc9f..df87579 100644
--- a/src/trace/smtMaps.ml
+++ b/src/trace/smtMaps.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/trace/smtMaps.mli b/src/trace/smtMaps.mli
index 220b22a..ebbdc64 100644
--- a/src/trace/smtMaps.mli
+++ b/src/trace/smtMaps.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/trace/smtMisc.ml b/src/trace/smtMisc.ml
index 11eee8a..e82001c 100644
--- a/src/trace/smtMisc.ml
+++ b/src/trace/smtMisc.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/trace/smtMisc.mli b/src/trace/smtMisc.mli
index 632ac79..3517018 100644
--- a/src/trace/smtMisc.mli
+++ b/src/trace/smtMisc.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/trace/smtTrace.ml b/src/trace/smtTrace.ml
index 470742a..650424f 100644
--- a/src/trace/smtTrace.ml
+++ b/src/trace/smtTrace.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/trace/smtTrace.mli b/src/trace/smtTrace.mli
index e79ce20..895cdc9 100644
--- a/src/trace/smtTrace.mli
+++ b/src/trace/smtTrace.mli
@@ -1,7 +1,7 @@
(**************************************************************************)
(* *)
(* SMTCoq *)
-(* Copyright (C) 2011 - 2021 *)
+(* Copyright (C) 2011 - 2022 *)
(* *)
(* See file "AUTHORS" for the list of authors *)
(* *)
generated by cgit (git 2.34.1) at 2024-06-26 00:35:33 +0000