From e471115d872da9eba837abcd82207981ffbb9695 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 13 Nov 2014 17:02:24 -0500 Subject: [PATCH] Minor adjustments to wording. --- AUTHORS | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/AUTHORS b/AUTHORS index 24cb5327a..d5565cce0 100644 --- a/AUTHORS +++ b/AUTHORS @@ -9,19 +9,19 @@ 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, formerly at New York University + Christopher Conway, New York University Morgan Deters, New York University - Liana Hadarean, New York University and Mentor Graphics Corporation + Liana Hadarean, New York University & Mentor Graphics Corporation Dejan Jovanovic, New York University & SRI International - Tim King, formerly at New York University + Tim King, 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) + Peter Collingbourne, 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 -- 2.30.2