aboutsummaryrefslogtreecommitdiffstats
path: root/src/trace
diff options
context:
space:
mode:
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 65995b5..dcacd4b 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 282f8f6..f62f01a 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 6ffd752..4a3a62d 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 b6a8dea..1e14cbb 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 06e1472..1befbf7 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 645a638..b430d6f 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 7c08157..71f7c14 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 ec73d21..05a8486 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 2ea4ca8..33437bf 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 7da3097..ef25b1f 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 9cfc7c4..d15ae68 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 b643594..eddf576 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 a86fe8a..6f26f24 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 e3c3859..9678b4c 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 e4747dd..227f2ff 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 6378627..149e377 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 876e420..e637b5c 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 2c70bbc..06dc6a3 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-02 01:00:52 +0000