Updates to AUTHORS and THANKS for 1.5 (mostly done by Tim).

diff --git a/AUTHORS b/AUTHORS
index d157ec958664ab96623ee1731491b0051b2b4e4e..7bd9ada069ccd12f81924d7a39ff121f6edf0828 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -6,26 +6,23 @@ the copyright and licensing of CVC4.
 
 The core designers and authors of CVC4 are:
 
-  Kshitij Bansal, New York University, Google, Inc.
-  Clark Barrett, New York University, Google, Inc.
+  Kshitij Bansal, New York University, Google
+  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, Inc.
+  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
-  Tim King, New York University, Universite Joseph Fourier, Google, Inc.
+  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
+  Andres Noetzli, Stanford University
   Andrew Reynolds, The University of Iowa, EPFL
   Cesare Tinelli, The University of Iowa
 
-Contributors to the CVC4 codebase additionally include:
-
-  Peter Collingbourne, the Multicore Programming Group at Imperial College
-    London (headed by Alastair Donaldson)
-  Finn Haedicke, University of Bremen, Germany
-  Google, Inc.
+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

diff --git a/THANKS b/THANKS
index d1ef51a603bc902ad7b1fcbe0facd1ec62d9b484..09fd9d44a8090ed2ee97ce5a5b2f72930816fe1a 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -1,18 +1,34 @@
-Thanks to Peter Collingbourne (formerly of the Multicore Programming Group
-at Imperial College London, headed by Alastair Donaldson) for developing and
-submitting a number of patches in September 2012 related to SMT-LIBv2
-compliance.
+Thanks to:
 
-Thanks to Thomas Hunger for some important patches to CVC4's SWIG interfaces
-in March 2014.
+- Chad Brewbaker for fixing a memory leak in 2017.
 
-Thanks to David Cok of GrammaTech, Inc., for suggesting numerous improvements
-in CVC4's SMT-LIBv2 compliance in 2013 and 2014.
+- Adam Buchbinder of Google for submitting patches in November 2013 to fix a
+  number of issues with CVC3 (which were also applicable to CVC4's compatibility
+  interface).
 
-Thanks to Adam Buchbinder at Google for submitting patches in November 2013 to
-fix a number of issues with CVC3 (which were also applicable to CVC4's
-compatibility interface).
+- David Cok of GrammaTech, Inc., for suggesting numerous improvements in CVC4's
+  SMT-LIBv2 compliance in 2013 and 2014.
 
-Thanks to Martin Brain of the Systems Verification Group at the University of
-Oxford for submitting patches to fix certain compilation problems in November
-2013.
+- Peter Collingbourne (formerly of the Multicore Programming Group at Imperial
+  College London, headed by Alastair Donaldson) for developing and submitting a
+  number of patches in September 2012 related to SMT-LIBv2 compliance.
+
+- Finn Haedicke of University of Bremen, Germany for fixing namespace specifiers
+  in CVC4's version of minisat in 2015.
+
+- Thomas Hunger for some important patches to CVC4's SWIG interfaces in March
+  2014.
+
+- Makai Mann of Stanford University for updating the build scripts to support
+  computing coverage in 2017.
+
+- Cristian Mattarei of Stanford University for fixing an issue with parsing
+  floating point numbers in 2017.
+
+- Jordy Ruiz of University of Toulouse for fixing throw specifiers on the theory
+  output channels in 2015.
+
+- Fabian Wolff in 2016 for fixing several spelling mistakes.
+
+- Clement Pit-Claudel of MIT for improving the signal handling support for
+  Windows builds in 2017.