aboutsummaryrefslogtreecommitdiffstats
path: root/src/trace
diff options
context:
space:
mode:
authorChantal Keller <Chantal.Keller@lri.fr>2021-05-26 11:40:54 +0200
committerChantal Keller <Chantal.Keller@lri.fr>2021-05-26 11:40:54 +0200
commit18536f162cc9126e743627819dcd69434b91e683 (patch)
tree9a4eeb47ca5de3ac0beb50663b41dfd5ebefa2c1 /src/trace
parentc827acdbf2814bc13495ab1599af9dfe85e32fbb (diff)
downloadsmtcoq-18536f162cc9126e743627819dcd69434b91e683.tar.gz
smtcoq-18536f162cc9126e743627819dcd69434b91e683.zip
Update copyright
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 6cbdbc0..65995b5 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 080d6c6..9cfc7c4 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 4e11709..a86fe8a 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 ad7d2ca..e3c3859 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 41c741d..2080a64 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 f397826..876e420 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-28 23:34:12 +0000