update Changelog for upcoming release

sosy-lab · Sep 14, 2024 · 67d40c8 · 67d40c8
1 parent d32cf0b
commit 67d40c8
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -10,6 +10,10 @@ SPDX-License-Identifier: Apache-2.0
 
 # JavaSMT ChangeLog
 
+## JavaSMT 5.0.1
+
+This patch release improves documentation and brings smaller improvements for CVC5.
+
 ## JavaSMT 5.0.0
 
 This major release brings support for the SMT solver Bitwuzla (version 0.4.0), some bugfixes,