From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 17 May 2013 21:13:36 +0000 (-0400)
Subject: Update THANKS to mention David Cok's contributions.
X-Git-Tag: cvc5-1.0.0~7287^2~33^2~13
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e9e4c5f57e4f350f139a59641097c5fb68282574;p=cvc5.git

Update THANKS to mention David Cok's contributions.
---

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.