projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 0e6d0a7)
Update THANKS to mention David Cok's contributions.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 21:13:36 +0000 (17:13 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 20 May 2013 21:00:56 +0000 (17:00 -0400)
THANKS patch | blob | history

diff --git a/THANKS b/THANKS
index b135fe36e2063c874bb9d2c4884ab638504cafb8..f6586d2dce3baa01bd91e258f6033409277cf0ff 100644 (file)
--- 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.