diff options
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ 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. +in CVC4's SMT-LIBv2 compliance in 2013 and 2014. 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 |