From e417f7d78509b2d0c9ebc911fee7632e6ef546b6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 12 May 2023 12:59:04 -0700 Subject: [PATCH] updated release notes for 12.2 Signed-off-by: Nikolaj Bjorner --- RELEASE_NOTES.md | 4 ++++ scripts/release.yml | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index 6cac7cc496d..68228df40e7 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -27,6 +27,10 @@ Version 4.12.2 and `elim-predicates` that go beyond incremental pre-processing used internally. The advantage of using `solve-eqs` during pre-processing can be significant. Incremental pre-processing simplification using `solve-eqs` and other simplifiers that change interpretations was not possible before. +- Optimize added to JS API, thanks to gbagan +- SMTLIB2 proposal for bit-vector overflow predicates added, thanks to aehyvari +- bug fixes, thanks to Clemens Eisenhofer, hgvk94, Lev Nachmanson, and others + Version 4.12.1 ============== diff --git a/scripts/release.yml b/scripts/release.yml index 9a3fcae8c68..7d3ec1085a0 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -558,7 +558,7 @@ stages: # Enable on release: - job: PyPIPublish - condition: eq(1,0) + condition: eq(1,1) displayName: "Publish to PyPI" pool: vmImage: "ubuntu-latest"