From f808797bb46490e4363ca8d1a4c26c09fd8c21c2 Mon Sep 17 00:00:00 2001 From: Eric Hennenfent Date: Fri, 6 Nov 2020 11:41:19 -0800 Subject: [PATCH] Update CHANGELOG.md --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 25401f098..19efcfdf2 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -25,6 +25,7 @@ Thanks to our external contributors! * Fix type confusion when importing external functions [#1803](https://github.com/trailofbits/manticore/pull/1803) ### Other +* Made [Yices2](https://yices.csl.sri.com/) the default SMT Solver [#1820](https://github.com/trailofbits/manticore/pull/1820) * **[Added API]** Added an API for introspecting live states [#1775](https://github.com/trailofbits/manticore/pull/1775) * Changed default multiprocessing type to threading [#1779](https://github.com/trailofbits/manticore/pull/1779) * Improved array serialization performance [#1756](https://github.com/trailofbits/manticore/pull/1756)