From 65ee3c95ee9ca5cec58746deb0f8c899b33c9adc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antti=20Hyv=C3=A4rinen?= <antti.hyvarinen@gmail.com>
Date: Mon, 24 Oct 2022 15:21:49 +0200
Subject: [PATCH] Changelog: some further updates

---
 Changelog.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Changelog.md b/Changelog.md
index e4bda024e..f2b0ccbdc 100644
--- 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)