From 3f2349f0f7e97cfbcf56554c6d86967469ae2ddf Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 20 Jan 2021 01:36:00 -0800 Subject: [PATCH] update release notes Signed-off-by: Nikolaj Bjorner --- RELEASE_NOTES | 5 ++++- scripts/release.yml | 5 +++++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/RELEASE_NOTES b/RELEASE_NOTES index 899869f8b..7eeac7fb7 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -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 diff --git a/scripts/release.yml b/scripts/release.yml index 078108262..59fc24d05 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -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: