From 785f71b1a6986ed18221b3023bc5cfe3e54ed54f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 21 Feb 2024 19:35:24 -0800 Subject: [PATCH] prepare for 12.6 Signed-off-by: Nikolaj Bjorner --- RELEASE_NOTES.md | 11 +++++++++++ scripts/release.yml | 2 +- 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index c795e7a683f..a0d8d451049 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -10,6 +10,17 @@ Version 4.next - native word level bit-vector solving. - introduction of simple induction lemmas to handle a limited repertoire of induction proofs. +Version 4.12.6 +============== +- remove expensive rewrite that coallesces adjacent stores +- improved Java use of reference queues thanks to Thomas Haas #7131 +- fixes to conditional import of python library thanks to Cal Jacobson #7116 +- include universe for constants that get removed during pre-processing #7121 +- code improvements, Bruce Mitchener #7119 +- fix nested callback handling for user propagators +- include ARM64 binaries in distribution +- added Julia API, Thanks to Yisu Remy Yang #7108 + Version 4.12.5 ============== - Fixes to pypi setup and build for MacOS distributions diff --git a/scripts/release.yml b/scripts/release.yml index 7a2c4ef41c9..27011bbe17b 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -594,7 +594,7 @@ stages: # Enable on release: - job: PyPIPublish - condition: eq(1,1) + condition: eq(1,0) displayName: "Publish to PyPI" pool: vmImage: "ubuntu-latest"