diff options
author | Clark Barrett <clarkbarrett@google.com> | 2017-06-30 15:20:38 -0700 |
---|---|---|
committer | Tim King <taking@google.com> | 2017-06-30 15:33:11 -0700 |
commit | 8d2cc166632ce998f0cafe9356295a19e1215966 (patch) | |
tree | 59fe04c92a02ba09c38328c65c81e0c30c11098f /THANKS | |
parent | a0059f1f2ced58068e715ca9443a03a3b0b1e916 (diff) |
Updates to AUTHORS and THANKS for 1.5 (mostly done by Tim).
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 44 |
1 files changed, 30 insertions, 14 deletions
@@ -1,18 +1,34 @@ -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: -Thanks to Thomas Hunger for some important patches to CVC4's SWIG interfaces -in March 2014. +- Chad Brewbaker for fixing a memory leak in 2017. -Thanks to David Cok of GrammaTech, Inc., for suggesting numerous improvements -in CVC4's SMT-LIBv2 compliance in 2013 and 2014. +- Adam Buchbinder of 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 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). +- David Cok of GrammaTech, Inc., for suggesting numerous improvements in CVC4's + SMT-LIBv2 compliance in 2013 and 2014. -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. +- 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. + +- Finn Haedicke of University of Bremen, Germany for fixing namespace specifiers + in CVC4's version of minisat in 2015. + +- Thomas Hunger for some important patches to CVC4's SWIG interfaces in March + 2014. + +- Makai Mann of Stanford University for updating the build scripts to support + computing coverage in 2017. + +- Cristian Mattarei of Stanford University for fixing an issue with parsing + floating point numbers in 2017. + +- Jordy Ruiz of University of Toulouse for fixing throw specifiers on the theory + output channels in 2015. + +- Fabian Wolff in 2016 for fixing several spelling mistakes. + +- Clement Pit-Claudel of MIT for improving the signal handling support for + Windows builds in 2017. |