diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-16 13:59:54 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-16 13:59:54 -0400 |
| commit | 09e68572fce8b0eba9a428dd314c59690f520498 (patch) | |
| tree | 063c40be022fb0a38adab831d338f58a36b21bd9 /THANKS | |
| parent | 0189f4b0e62edefa2b93f9bd4991a0c15c6cc3d5 (diff) | |
Add Thomas Hunger to THANKS file (for having submitted patches).
Diffstat (limited to 'THANKS')
| -rw-r--r-- | THANKS | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -3,6 +3,9 @@ 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 Thomas Hunger for some important patches to CVC4's SWIG interfaces +in March 2014. + Thanks to David Cok of GrammaTech, Inc., for suggesting numerous improvements in CVC4's SMT-LIBv2 compliance in 2013 and 2014. |