Changelog: Update for version 2.4.2

usi-verification-and-security · Oct 22, 2022 · 0317285 · 0317285
1 parent 9172b7f
commit 0317285
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -1,5 +1,11 @@
 ### 2.4.2 (unreleased)
 
+Bug fixes:
+ - TSolverHandler: Remove dependency on the global objects initialization order
+
+Performance improvements:
+ - ArithLogic: Improved computation of substitutions from equalities
+
 
 ### 2.4.1 (2022-07-28)