Update AUTHORS und copyright of docs configuration. (#7994)

diff --git a/AUTHORS b/AUTHORS
index 8726b6e2d69f3c90eda2fa7dac8d51362699f7bd..203286dafd47d5243bf198330a9ff7985227247d 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -10,7 +10,6 @@ Current:
   Haniel Barbosa, The University of Iowa, Universidade Federal de Minas Gerais
   Clark Barrett, New York University, Google, Stanford University
   Martin Brain, University of Oxford
-  Ahmed Irfan, Stanford University
   Gereon Kremer, Stanford University
   Makai Mann, Stanford University
   Abdalrhman Mohamed, The University of Iowa
@@ -30,6 +29,7 @@ Alumni:
   Christopher Conway, New York University, Google
   Morgan Deters, New York University
   Liana Hadarean, New York University, Mentor Graphics Corporation
+  Ahmed Irfan, Stanford University
   Dejan Jovanovic, New York University, SRI International
   Guy Katz, New York University, Stanford University
   Tim King, New York University, Universite Joseph Fourier, Google

diff --git a/docs/conf.py.in b/docs/conf.py.in
index 28c64d55521dd50682dee34c2b977ae3165032fa..e8dc266766c5ddc08421bb8826f6b93fbc1d3a07 100644 (file)
--- a/docs/conf.py.in
+++ b/docs/conf.py.in
@@ -30,7 +30,7 @@ if("${BUILD_BINDINGS_JAVA}" == "ON"):
 # -- Project information -----------------------------------------------------
 
 project = 'cvc5'
-copyright = '2021, the authors of cvc5'
+copyright = '2022, the authors of cvc5'
 author = 'The authors of cvc5'