From 83b205c18b8b597c30dcef7ad8f3cd37d1225062 Mon Sep 17 00:00:00 2001 From: Release Notes Updater Date: Mon, 19 Jan 2026 21:52:05 +0000 Subject: [PATCH] Update RELEASE_NOTES.md for version 4.15.5 --- RELEASE_NOTES.md | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index 791a34be7..0d8318966 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -9,6 +9,25 @@ Version 4.next Version 4.15.5 ============== +- Add RCF (Real Closed Field) API bindings to C++, Java, C#, and TypeScript, https://github.com/Z3Prover/z3/pull/8171 +- Add core strengthening and non-chronological backtracking to parallel search tree. Thanks to Ilana Shapiro, https://github.com/Z3Prover/z3/pull/8193 +- Fix UNKNOWN bug in search tree about inconsistent end state. Thanks to Ilana Shapiro, https://github.com/Z3Prover/z3/pull/8214 +- Improvements to LIA performance. Thanks to Ilana Shapiro, https://github.com/Z3Prover/z3/pull/8101 +- Search tree core resolution optimization. Thanks to Ilana Shapiro, https://github.com/Z3Prover/z3/pull/8066 +- Add Z3_fpa_is_numeral to the floating-point API. Thanks to Josh Berdine, https://github.com/Z3Prover/z3/pull/8026 +- Implement Z3_optimize_translate for context translation, https://github.com/Z3Prover/z3/pull/8072 +- Fix segfault in dioph_eq.cpp by adding bounds check, https://github.com/Z3Prover/z3/pull/8218 +- Fix NuGet package missing Microsoft.Z3.dll due to inverted replace() logic, https://github.com/Z3Prover/z3/pull/8029 +- Fix DEL character (0x7F) not being escaped in string literals, https://github.com/Z3Prover/z3/pull/8080 +- Fix memory lifetime bug in async array parameter handling for JS API, https://github.com/Z3Prover/z3/pull/8125 +- Set source & target version java compile flags in cmake build to match the python/make build for consistent bytecode generation. Thanks to bu99ed, https://github.com/Z3Prover/z3/pull/8112 +- Thanks for several pull requests improving API coverage and usability, including + - https://github.com/Z3Prover/z3/pull/8225 + - https://github.com/Z3Prover/z3/pull/8226 + - https://github.com/Z3Prover/z3/pull/8227 + - https://github.com/Z3Prover/z3/pull/8228 + - https://github.com/Z3Prover/z3/pull/8166 + - https://github.com/Z3Prover/z3/pull/8152 Version 4.15.4 ==============