Fix memory leak in unit test (#3068)

[cvc5.git] / AUTHORS

diff --git a/AUTHORS b/AUTHORS
index 41cb9bb16cd474f6c1f6939d3e9b72f77892fdba..7f056c0e67d3ce54219291c731bb7a887751443f 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,37 +1,44 @@
-The core authors and designers of CVC4 are:
-
-  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
-  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 following individuals contributed code to CVC3 that may have been incorporated into CVC4:
-
-  Clark Barrett, New York University
-  Christopher Conway <cconway@cs.nyu.edu>, New York University
-  Alexander Fuchs, University of Iowa
-  Yeting Ge, New York Univeristy
-  George Hagen, University of Iowa
-  Dejan Jovanovic <dejan@cs.nyu.edu>, New York University
-
-The following individuals contributed code to CVC Lite that may have been incorporated in CVC4:
-
-  Clark Barrett, New York University
-  Sergey Berezin, Stanford University
-  Cristian Cadar, Stanford University
-  Jake Donham, New York University
-  Yeting Ge, New York Univeristy
-  Vijay Ganesh, Stanford University
-  Deepak Goyal, Calypto
-  Ying Hu, New York University
-  Sean McLaughlin, New York University
-  Mehul Trivedi, Stanford University
-  Michael Veksler, Technion, Israel
-  Daniel Wichs, Stanford University
-  Mark Zavislak, Stanford University
-  Jim Zhuang, Stanford University
-
-CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson
+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.
+
+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.
+
+The CVC4 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.