Fix memory leak in unit test (#3068)

[cvc5.git] / AUTHORS

diff --git a/AUTHORS b/AUTHORS
index 5b28d60451e78e89e50f27718540453f7713eac7..7f056c0e67d3ce54219291c731bb7a887751443f 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,24 +1,44 @@
-The core authors and designers of CVC4 are:
+The authors, designers, and main contributors to CVC4 are listed below.
+CVC4'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.
 
-  Clark Barrett <barrett@cs.nyu.edu>, New York University
-  Christopher Conway <cconway@cs.nyu.edu>, New York University
-  Morgan Deters <mdeters@cs.nyu.edu>, New York University
-  Yeting Ge <yeting@cs.nyu.edu>, New York University
-  Liana Hadarean <lianah@cs.nyu.edu>, New York University
-  Tim King <taking@cs.nyu.edu>, New York University
-  Mina Jeong <mjeong@cs.nyu.edu>, New York University
-  Dejan Jovanovic <dejan@cs.nyu.edu>, New York University
+The core designers and authors of CVC4 are:
+
+  Kshitij Bansal, New York University, Google
+  Haniel Barbosa, The University of Iowa
+  Clark Barrett, New York University, Google, Stanford University
+  Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique
+  Martin Brain, University of Oxford
+  Christopher Conway, New York University, Google
+  Morgan Deters, New York University
+  Liana Hadarean, New York University, Mentor Graphics Corporation
+  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.
 
 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.
 
-CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson
+CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson.
 
-The CVC4 parser incorporates some code from ANTLR3, by Jim Idle,
-Temporal Wave LLC.
+The CVC4 parser incorporates some code from ANTLR3, by Jim Idle, Temporal
+Wave LLC.
 
-CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki.
+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 the
-U.S. Army Research Laboratory
+CVC4 maintainer versions contain the script autogen.sh by Christopher Sean
+Morrison, and copyright U.S. Army Research Laboratory.