Changelog: some further updates

usi-verification-and-security · Oct 24, 2022 · 65ee3c9 · 65ee3c9
1 parent 0317285
commit 65ee3c9
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -2,10 +2,18 @@
 
 Bug fixes:
  - TSolverHandler: Remove dependency on the global objects initialization order
+ - ScatterSplitter: Fix the implementation of scattering
 
 Performance improvements:
  - ArithLogic: Improved computation of substitutions from equalities
+ - ScatterSplitter: Limit sizes of shared literal representations
 
+New features:
+ - The shared clause representation is now portable between solvers for
+   all terms
+
+Build:
+ - Support for Apple M1
 
 ### 2.4.1 (2022-07-28)