diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-25 13:51:11 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-25 14:11:54 -0700 |
| commit | 14b9dbaa0c9e8dce52d1a28595dc1cc80756abed (patch) | |
| tree | 0bb73ac56ff0e92d71152409aa0d3acd9547e235 /THANKS | |
| parent | 8805781adbfb3f57c4765307c82267b1fabdf2b4 (diff) | |
Update AUTHORS, NEWS, README, RELEASE-NOTES and THANKS file for 1.6.
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. |