mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
release notes
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
a63d1b1848
commit
d6df51951f
|
@ -1,5 +1,15 @@
|
|||
RELEASE NOTES
|
||||
|
||||
Version 4.8.4
|
||||
=============
|
||||
|
||||
- Notes
|
||||
- fixes bugs
|
||||
- a substantial update to how the seq theory solver handles regular
|
||||
expressions. Other performance improvements to the seq solver.
|
||||
- Managed .NET DLLs include dotnet standard 1.4 on supported platforms.
|
||||
- Windows Managed DLLs are strong signed in the released binaries.
|
||||
|
||||
Version 4.8.3
|
||||
=============
|
||||
- New features
|
||||
|
|
Loading…
Reference in a new issue