diff options
author | Clark Barrett <clarkbarrett@google.com> | 2017-06-30 15:20:38 -0700 |
---|---|---|
committer | Tim King <taking@google.com> | 2017-06-30 15:33:11 -0700 |
commit | 8d2cc166632ce998f0cafe9356295a19e1215966 (patch) | |
tree | 59fe04c92a02ba09c38328c65c81e0c30c11098f /AUTHORS | |
parent | a0059f1f2ced58068e715ca9443a03a3b0b1e916 (diff) |
Updates to AUTHORS and THANKS for 1.5 (mostly done by Tim).
Diffstat (limited to 'AUTHORS')
-rw-r--r-- | AUTHORS | 19 |
1 files changed, 8 insertions, 11 deletions
@@ -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 |