From 5e52f04e3deca668df1637ee9a11ecf0deb3bf27 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 4 Dec 2013 14:15:27 -0500 Subject: [PATCH] Updated acknowledgments. --- THANKS | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/THANKS b/THANKS index f6586d2dc..b9f4c9d2b 100644 --- a/THANKS +++ b/THANKS @@ -1,6 +1,15 @@ -Thanks to Peter Collingbourne and his group (the Multicore Programming Group -at Imperial College London) for developing and submitting some patches in -September 2012 related to SMT-LIBv2 compliance. +Thanks to Peter Collingbourne (formerly of the Multicore Programming Group +at Imperial College London, headed by Alastair Donaldson) for developing and +submitting a number of patches in September 2012 related to SMT-LIBv2 +compliance. Thanks to David Cok of GrammaTech, Inc., for suggesting numerous improvements in CVC4's SMT-LIBv2 compliance in May 2013. + +Thanks to Adam Buchbinder at Google for submitting patches in November 2013 to +fix a number of issues with CVC3 (which were also applicable to CVC4's +compatibility interface). + +Thanks to Martin Brain of the Systems Verification Group at the University of +Oxford for submitting patches to fix certain compilation problems in November +2013. -- 2.30.2