mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-26 15:53:41 +00:00
Code Activity

update release notes

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-06-07 16:18:50 -07:00
parent befbd8d702
commit 4bd999c295
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
RELEASE_NOTES.md
View file

@ -8,6 +8,12 @@ Version 4.next
- add global incremental pre-processing for the legacy core.
Version 4.15.1
==============
- #7672 - fix library header padding for install_name_tool
- enable E-matching and conditional equations in euf-completion tactic
- various bug fixes
Version 4.15.0
==============
- Improved integer cut algorithms for linear integer arithmetic.