mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-20 09:13:20 +00:00
Code Activity

Update RELEASE_NOTES.md for version 4.15.5

Browse source
This commit is contained in:
Release Notes Updater 2026-01-19 21:52:05 +00:00 • committed by github-actions[bot]
parent f2ddfc2fdf
commit 83b205c18b
1 changed files with 19 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

19
RELEASE_NOTES.md
View file

@ -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
==============