From e9e4c5f57e4f350f139a59641097c5fb68282574 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 17 May 2013 17:13:36 -0400 Subject: [PATCH] Update THANKS to mention David Cok's contributions. --- THANKS | 3 +++ 1 file changed, 3 insertions(+) diff --git a/THANKS b/THANKS index b135fe36e..f6586d2dc 100644 --- a/THANKS +++ b/THANKS @@ -1,3 +1,6 @@ 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 David Cok of GrammaTech, Inc., for suggesting numerous improvements +in CVC4's SMT-LIBv2 compliance in May 2013. -- 2.30.2