diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-04 14:15:27 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-04 14:15:34 -0500 |
commit | 5e52f04e3deca668df1637ee9a11ecf0deb3bf27 (patch) | |
tree | 4d5ac32e39e82e648c313413ca254d3fdebc9c4a /THANKS | |
parent | f44697212a001ddc0fded4f72037faa3da531ea4 (diff) |
Updated acknowledgments.
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 15 |
1 files changed, 12 insertions, 3 deletions
@@ -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. |