mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
update release notes
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
9dcf44b767
commit
3f2349f0f7
|
@ -3,7 +3,6 @@ RELEASE NOTES
|
|||
Version 4.8.next
|
||||
================
|
||||
- Planned features
|
||||
- rewritten arithmetic solver replacing legacy arithmetic solver and on by default
|
||||
- self-contained character theory, direct support for UTF8, Unicode character sets
|
||||
- specialized solver support for QF_ABV and ABV based on lazy SMT and dual reduction
|
||||
- the smtfd solver and tactic implement this strategy, but is not prime for users.
|
||||
|
@ -12,6 +11,10 @@ Version 4.8.next
|
|||
option, but at this point does not translate into benefits. It is currently
|
||||
turned off by default.
|
||||
|
||||
Version 4.8.10
|
||||
==============
|
||||
- rewritten arithmetic solver replacing legacy arithmetic solver and on by default
|
||||
|
||||
Version 4.8.9
|
||||
=============
|
||||
- New features
|
||||
|
|
|
@ -293,6 +293,11 @@ stages:
|
|||
inputs:
|
||||
artifact: 'WindowsBuild-x86'
|
||||
path: $(Agent.TempDirectory)
|
||||
- task: DownloadPipelineArtifact@2
|
||||
displayName: "Download Python"
|
||||
inputs:
|
||||
artifactName: 'PythonPackage'
|
||||
path: $(Agent.TempDirectory)
|
||||
- task: DownloadPipelineArtifact@2
|
||||
displayName: 'Download Win64 Build'
|
||||
inputs:
|
||||
|
|
Loading…
Reference in a new issue