diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-13 16:37:19 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-13 16:37:48 -0500 |
| commit | 27d42e891c6aed617c95d4dda079bb4724533b9d (patch) | |
| tree | ed7c43350d94646117cb048473b2fd247802155e /AUTHORS | |
| parent | 2b7c294a2056b6083457ae5cd86d7481c9cee747 (diff) | |
Copyright text fixes.
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 38 |
1 files changed, 24 insertions, 14 deletions
@@ -1,17 +1,27 @@ -The core authors and designers of CVC4 are: - - Kshitij Bansal <kshitij@cs.nyu.edu>, New York University - Clark Barrett <barrett@cs.nyu.edu>, New York University - Francois Bobot <bobot@lri.fr>, Commissariat a l'Energie Atomique (CEA) - Martin Brain <martin.brain@cs.ox.ac.uk>, University of Oxford - Christopher Conway <cconway@cs.nyu.edu>, Google - Morgan Deters <mdeters@cs.nyu.edu>, New York University - Liana Hadarean <lianah@cs.nyu.edu>, New York University - Dejan Jovanovic <dejan@cs.nyu.edu>, SRI International - Tim King <taking@cs.nyu.edu>, New York University - Tianyi Liang <tianyi-liang@uiowa.edu>, The University of Iowa - Andrew Reynolds <andrew.j.reynolds@gmail.com>, EPFL - Cesare Tinelli <tinelli@cs.uiowa.edu>, The University of Iowa +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 (see the file COPYING). +All rights reserved. + +The core designers and authors of CVC4 are: + + Kshitij Bansal, New York University + Clark Barrett, New York University + Francois Bobot, The University of Iowa & Commissariat a l'Energie Atomique + Martin Brain, University of Oxford + Christopher Conway, formerly at New York University + Morgan Deters, New York University + Liana Hadarean, New York University and Mentor Graphics Corporation + Dejan Jovanovic, New York University & SRI International + Tim King, formerly at New York University + Tianyi Liang, The University of Iowa + Andrew Reynolds, The University of Iowa & EPFL + Cesare Tinelli, The University of Iowa + +Chief contributors to the CVC4 codebase additionally include: + + Peter Collingbourne, formerly in the Multicore Programming Group at + Imperial College London (headed by Alastair Donaldson) 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 |