diff options
Diffstat (limited to 'THANKS')
| -rw-r--r-- | THANKS | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -16,6 +16,8 @@ Thanks to: - Finn Haedicke of University of Bremen, Germany for fixing namespace specifiers in CVC4's version of minisat in 2015. +- Pat Hawks for writing tests for CVC4's Java API. + - Thomas Hunger for some important patches to CVC4's SWIG interfaces in March 2014. @@ -28,7 +30,11 @@ Thanks to: - 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. + +- Arjun Viswanathan for improvements in the CVC and the SMT2 parser. + +- Fabian Wolff in 2016 for fixing several spelling mistakes. + +- Justin Xu for contributing to refactoring CVC4's preprocessing infrastructure. |