Remove forward declarations in quantifiers engine (#3156)

[cvc5.git] / THANKS

diff --git a/THANKS b/THANKS
index 09fd9d44a8090ed2ee97ce5a5b2f72930816fe1a..8eb19e8dbb27f309f90cee8b9f8163e2203bf8eb 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -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.