From 7ba88617847b44ca3290c65def6c1f070d08f91a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 16 Jul 2026 15:39:15 -0700 Subject: [PATCH] update version Signed-off-by: Nikolaj Bjorner --- .github/workflows/nightly.yml | 6 +++--- .github/workflows/nuget-build.yml | 14 +++++++------- .github/workflows/release.yml | 2 +- MODULE.bazel | 2 +- scripts/VERSION.txt | 2 +- 5 files changed, 13 insertions(+), 13 deletions(-) diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index b3d1b318a..b58b1b8e3 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -24,9 +24,9 @@ permissions: contents: write env: - MAJOR: '4' - MINOR: '17' - PATCH: '1' + MAJOR: '5' + MINOR: '0' + PATCH: '0' jobs: # ============================================================================ diff --git a/.github/workflows/nuget-build.yml b/.github/workflows/nuget-build.yml index 20f19afb5..cd84b345e 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.17.1)' + description: 'Version number for the NuGet package (e.g., 5.0.0)' required: true - default: '4.17.1' + default: '5.0.0' push: tags: - 'z3-*' @@ -32,7 +32,7 @@ jobs: run: | for /f "usebackq delims=" %%i in (`"C:\Program Files (x86)\Microsoft Visual Studio\Installer\vswhere.exe" -latest -prerelease -products * -requires Microsoft.VisualStudio.Component.VC.Tools.x86.x64 -property installationPath`) do set "VSPATH=%%i" call "%VSPATH%\VC\Auxiliary\Build\vcvarsall.bat" x64 || exit /b 1 - python scripts\mk_win_dist.py --x64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.17.1' }} --zip + python scripts\mk_win_dist.py --x64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '5.0.0' }} --zip - name: Upload Windows x64 artifact uses: actions/upload-artifact@v7 @@ -57,7 +57,7 @@ jobs: run: | for /f "usebackq delims=" %%i in (`"C:\Program Files (x86)\Microsoft Visual Studio\Installer\vswhere.exe" -latest -prerelease -products * -requires Microsoft.VisualStudio.Component.VC.Tools.x86.x64 -property installationPath`) do set "VSPATH=%%i" call "%VSPATH%\VC\Auxiliary\Build\vcvarsall.bat" x86 || exit /b 1 - python scripts\mk_win_dist.py --x86-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.17.1' }} --zip + python scripts\mk_win_dist.py --x86-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '5.0.0' }} --zip - name: Upload Windows x86 artifact uses: actions/upload-artifact@v7 @@ -82,7 +82,7 @@ jobs: run: | for /f "usebackq delims=" %%i in (`"C:\Program Files (x86)\Microsoft Visual Studio\Installer\vswhere.exe" -latest -prerelease -products * -requires Microsoft.VisualStudio.Component.VC.Tools.x86.x64 -property installationPath`) do set "VSPATH=%%i" call "%VSPATH%\VC\Auxiliary\Build\vcvarsall.bat" amd64_arm64 || exit /b 1 - python scripts\mk_win_dist_cmake.py --arm64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '4.17.1' }} --zip + python scripts\mk_win_dist_cmake.py --arm64-only --dotnet-key=%GITHUB_WORKSPACE%\resources\z3.snk --assembly-version=${{ github.event.inputs.version || '5.0.0' }} --zip - name: Upload Windows ARM64 artifact uses: actions/upload-artifact@v7 @@ -192,7 +192,7 @@ jobs: shell: cmd run: | cd package-files - python ..\scripts\mk_nuget_task.py . ${{ github.event.inputs.version || '4.17.1' }} https://github.com/Z3Prover/z3 ${{ github.ref_name }} ${{ github.sha }} ${{ github.workspace }} symbols + python ..\scripts\mk_nuget_task.py . ${{ github.event.inputs.version || '5.0.0' }} https://github.com/Z3Prover/z3 ${{ github.ref_name }} ${{ github.sha }} ${{ github.workspace }} symbols - name: Pack NuGet package shell: cmd @@ -241,7 +241,7 @@ jobs: shell: cmd run: | cd packages - python ..\scripts\mk_nuget_task.py . ${{ github.event.inputs.version || '4.17.1' }} https://github.com/Z3Prover/z3 ${{ github.ref_name }} ${{ github.sha }} ${{ github.workspace }} symbols x86 + python ..\scripts\mk_nuget_task.py . ${{ github.event.inputs.version || '5.0.0' }} 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 84614da7e..32d34f8aa 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -23,7 +23,7 @@ permissions: contents: write env: - RELEASE_VERSION: '4.17.1' + RELEASE_VERSION: '5.0.0' jobs: # ============================================================================ diff --git a/MODULE.bazel b/MODULE.bazel index 0d4d442ff..a05151c9d 100644 --- a/MODULE.bazel +++ b/MODULE.bazel @@ -1,6 +1,6 @@ module( name = "z3", - version = "4.17.1", # TODO: Read from VERSION.txt - currently manual sync required + version = "5.0.0", # TODO: Read from VERSION.txt - currently manual sync required bazel_compatibility = [">=7.0.0"], ) diff --git a/scripts/VERSION.txt b/scripts/VERSION.txt index e7887e717..bb3d8c2b6 100644 --- a/scripts/VERSION.txt +++ b/scripts/VERSION.txt @@ -1 +1 @@ -4.17.1.0 +5.0.0.0