diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 17:13:36 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-20 17:00:56 -0400 |
| commit | e9e4c5f57e4f350f139a59641097c5fb68282574 (patch) | |
| tree | d3d9b4cc23f7f547d3ae629eef7c3b8965833d27 /THANKS | |
| parent | 0e6d0a7bced1083db25a286b5ddfd79fba344639 (diff) | |
Update THANKS to mention David Cok's contributions.
Diffstat (limited to 'THANKS')
| -rw-r--r-- | THANKS | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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. |