Improve error for higher-order logic (#8207)

[cvc5.git] / AUTHORS

diff --git a/AUTHORS b/AUTHORS
index 299d51ce3dd401839a932e3c1722ac3c90360cef..203286dafd47d5243bf198330a9ff7985227247d 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,44 +1,49 @@
-The authors, designers, and main contributors to CVC4 are listed below.
-CVC4's copyright is held by these individuals and the affiliated
+The authors, designers, and main contributors to cvc5 are listed below.
+cvc5's copyright is held by these individuals and the affiliated
 institutions at the time of their contributions (note that some authors have
 had more than one affiliated institution).  See the file COPYING for details on
-the copyright and licensing of CVC4.
+the copyright and licensing of cvc5.
 
-The core designers and authors of CVC4 are:
+The developers and authors of cvc5 are:
 
-  Kshitij Bansal, New York University, Google
+Current:
   Haniel Barbosa, The University of Iowa, Universidade Federal de Minas Gerais
   Clark Barrett, New York University, Google, Stanford University
-  Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique
   Martin Brain, University of Oxford
+  Gereon Kremer, Stanford University
+  Makai Mann, Stanford University
+  Abdalrhman Mohamed, The University of Iowa
+  Mudathir Mohamed, The University of Iowa
+  Aina Niemetz, Stanford University
+  Andres Noetzli, Stanford University
+  Alex Ozdemir, Stanford University
+  Mathias Preiner, Stanford University
+  Andrew Reynolds, The University of Iowa, EPFL
+  Ying Sheng, Stanford University
+  Cesare Tinelli, The University of Iowa
+  Yoni Zohar, Stanford University
+
+Alumni:
+  Kshitij Bansal, New York University, Google
+  Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique
   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
   Tianyi Liang, The University of Iowa
   Paul Meng, The University of Iowa
-  Aina Niemetz, Stanford University
-  Andres Noetzli, Stanford University
-  Mathias Preiner, Stanford University
-  Andrew Reynolds, The University of Iowa, EPFL
-  Cesare Tinelli, The University of Iowa
-  Yoni Zohar, Stanford University
 
-Other contributors to the CVC4 codebase are listed in the THANKS file.
+Other contributors to the cvc5 codebase are listed in the THANKS file.
 
-CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
-not directly incorporate code from any previous version.  Information about
-authors of previous CVC tools is included with their distributions.
+cvc5 is the fifth in the CVC series of tools (CVC, CVC Lite, CVC3, CVC4) but
+does not directly incorporate code from any previous version prior to CVC4.
+Information about authors of previous CVC tools is included with their
+distributions.
 
-CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson.
+cvc5 contains MiniSAT code by Niklas Een and Niklas Sorensson.
 
-The CVC4 parser incorporates some code from ANTLR3, by Jim Idle, Temporal
+The cvc5 parser incorporates some code from ANTLR3, by Jim Idle, Temporal
 Wave LLC.
-
-CVC4 contains various autoconf modules in the config directory. Please refer to
-the individual files for more information on the authors.
-
-CVC4 maintainer versions contain the script autogen.sh by Christopher Sean
-Morrison, and copyright U.S. Army Research Laboratory.