From a7dbe1698bd843c1ca7dae6b77d8d46e7a9297f1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 8 Feb 2026 19:52:43 -0800
Subject: [PATCH] update to next version

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .github/workflows/nightly.yml     |  2 +-
 .github/workflows/nuget-build.yml | 14 +++++++-------
 .github/workflows/release.yml     |  2 +-
 MODULE.bazel                      |  2 +-
 scripts/VERSION.txt               |  2 +-
 5 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index d15b1e952..3979a4907 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -17,7 +17,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 bf6150b1b..dd84daed3 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -4,7 +4,7 @@ on:
   workflow_dispatch:
     inputs:
       release_version:
-        description: 'Release version (e.g., 4.15.7)'
+        description: 'Release version (e.g., 4.15.8)'
         required: true
         type: string
       publish_github:
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/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