From: Chris Conway <clconway@google.com>
Date: Wed, 2 Dec 2015 21:56:52 +0000 (-0800)
Subject: Adds Google, Inc. to the AUTHORS file.
X-Git-Tag: cvc5-1.0.0~6151
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=760c2f5ca2d8147b234db055de055f1c77341096;p=cvc5.git

Adds Google, Inc. to the AUTHORS file.
---

diff --git a/AUTHORS b/AUTHORS
index 60a7cba32..98205ef98 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -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