diff options
author | Chris Conway <clconway@google.com> | 2015-12-02 13:56:52 -0800 |
---|---|---|
committer | Chris Conway <clconway@google.com> | 2015-12-02 13:56:52 -0800 |
commit | 760c2f5ca2d8147b234db055de055f1c77341096 (patch) | |
tree | e5b2edcb10d1f4034c829523660be5c21867ea59 /AUTHORS | |
parent | e045d50c0c0f65d44868fead684094746df70108 (diff) |
Adds Google, Inc. to the AUTHORS file.
Diffstat (limited to 'AUTHORS')
-rw-r--r-- | AUTHORS | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -9,7 +9,7 @@ The core designers and authors of CVC4 are: Clark Barrett, New York University Francois Bobot, The University of Iowa & Commissariat a l'Energie Atomique Martin Brain, University of Oxford - Christopher Conway, New York University + Christopher Conway, New York University & Google, Inc. Morgan Deters, New York University Liana Hadarean, New York University & Mentor Graphics Corporation Dejan Jovanovic, New York University & SRI International @@ -23,6 +23,7 @@ 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. 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 |