From 67f77a9aa4cea22a62dcf77d4a6866befc23e2e9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 12 Feb 2026 08:59:23 -0800 Subject: [PATCH] bump version to prepare for release with wheels and npm Signed-off-by: Nikolaj Bjorner --- .github/workflows/nightly.yml | 2 +- .github/workflows/nuget-build.yml | 14 +++++++------- .github/workflows/release.yml | 2 +- MODULE.bazel | 2 +- RELEASE_NOTES.md | 9 +++++++++ scripts/VERSION.txt | 2 +- 6 files changed, 20 insertions(+), 11 deletions(-) diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index bee8acc68..43a9adc4d 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -22,7 +22,7 @@ permissions: env: MAJOR: '4' MINOR: '15' - PATCH: '7' + PATCH: '8' jobs: # ============================================================================ diff --git a/.github/workflows/nuget-build.yml b/.github/workflows/nuget-build.yml index 274286d2e..5ec63332b 100644 --- a/.github/workflows/nuget-build.yml +++ b/.github/workflows/nuget-build.yml @@ -4,9 +4,9 @@ on: workflow_dispatch: inputs: version: - description: 'Version number for the NuGet package (e.g., 4.15.7)' + description: 'Version number for the NuGet package (e.g., 4.15.8)' required: true - default: '4.15.7' + default: '4.15.8' push: tags: - 'z3-*' @@ -31,7 +31,7 @@ jobs: shell: cmd run: | call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" x64 - python scripts\mk_win_dist.py --x64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.15.7' }} --zip + python scripts\mk_win_dist.py --x64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.15.8' }} --zip - name: Upload Windows x64 artifact uses: actions/upload-artifact@v6 @@ -55,7 +55,7 @@ jobs: shell: cmd run: | call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" x86 - python scripts\mk_win_dist.py --x86-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.15.7' }} --zip + python scripts\mk_win_dist.py --x86-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.15.8' }} --zip - name: Upload Windows x86 artifact uses: actions/upload-artifact@v6 @@ -79,7 +79,7 @@ jobs: shell: cmd run: | call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" amd64_arm64 - python scripts\mk_win_dist_cmake.py --arm64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.15.7' }} --zip + python scripts\mk_win_dist_cmake.py --arm64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.15.8' }} --zip - name: Upload Windows ARM64 artifact uses: actions/upload-artifact@v6 @@ -189,7 +189,7 @@ jobs: shell: cmd run: | cd package-files - python ..\scripts\mk_nuget_task.py . ${{ github.event.inputs.version || '4.15.7' }} https://github.com/Z3Prover/z3 ${{ github.ref_name }} ${{ github.sha }} ${{ github.workspace }} symbols + python ..\scripts\mk_nuget_task.py . ${{ github.event.inputs.version || '4.15.8' }} https://github.com/Z3Prover/z3 ${{ github.ref_name }} ${{ github.sha }} ${{ github.workspace }} symbols - name: Pack NuGet package shell: cmd @@ -238,7 +238,7 @@ jobs: shell: cmd run: | cd packages - python ..\scripts\mk_nuget_task.py . ${{ github.event.inputs.version || '4.15.7' }} https://github.com/Z3Prover/z3 ${{ github.ref_name }} ${{ github.sha }} ${{ github.workspace }} symbols x86 + python ..\scripts\mk_nuget_task.py . ${{ github.event.inputs.version || '4.15.8' }} https://github.com/Z3Prover/z3 ${{ github.ref_name }} ${{ github.sha }} ${{ github.workspace }} symbols x86 - name: Pack NuGet package shell: cmd diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index d38f1b33d..57d0dc3b1 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -23,7 +23,7 @@ permissions: contents: write env: - RELEASE_VERSION: '4.15.7' + RELEASE_VERSION: '4.15.8' jobs: # ============================================================================ diff --git a/MODULE.bazel b/MODULE.bazel index cb46df94b..0a55ed96a 100644 --- a/MODULE.bazel +++ b/MODULE.bazel @@ -1,6 +1,6 @@ module( name = "z3", - version = "4.15.7", # TODO: Read from VERSION.txt - currently manual sync required + version = "4.15.8", # TODO: Read from VERSION.txt - currently manual sync required bazel_compatibility = [">=7.0.0"], ) diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index 968d23543..952352525 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -7,6 +7,15 @@ Version 4.next - CDCL core for SMT queries. It extends the SAT engine with theory solver plugins. - add global incremental pre-processing for the legacy core. +Version 4.15.8 +============== +- Fix release pipeline to publish all supported python wheels properly. +- Re-enable npm tokens for publishing npm pacages. + +Version 4.15.7 +============== +- Bug fix release + Version 4.15.6 ============== - Optimize mpz (multi-precision integer) implementation using pointer tagging to reduce memory footprint and improve performance. diff --git a/scripts/VERSION.txt b/scripts/VERSION.txt index 1a2b003fc..9f22cdea0 100644 --- a/scripts/VERSION.txt +++ b/scripts/VERSION.txt @@ -1 +1 @@ -4.15.7.0 +4.15.8.0