Add Z3 4.12.6

dafny-lang · Apr 9, 2024 · 3bccf3b · 3bccf3b
1 parent 3d9e7f9
commit 3bccf3b
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -13,16 +13,29 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-22.04, ubuntu-20.04, macos-11, macos-12, windows-2019]
+        os: [ubuntu-22.04, ubuntu-20.04,
+             windows-2019, windows-2022]
+        solver: [z3-4.8.5, z3-4.12.1, z3-4.12.6]
         arch: [x64]
-        solver: [z3-4.8.5, z3-4.12.1]
         include:
           - os: macos-11
             arch: arm64
             solver: z3-4.12.1
           - os: macos-12
             arch: arm64
             solver: z3-4.12.1
+          - os: macos-13
+            arch: arm64
+            solver: z3-4.12.1
+          - os: macos-11
+            arch: arm64
+            solver: z3-4.12.6
+          - os: macos-12
+            arch: arm64
+            solver: z3-4.12.6
+          - os: macos-13
+            arch: arm64
+            solver: z3-4.12.6
     steps:
       - name: Check out
         uses: actions/checkout@v3

diff --git a/.gitmodules b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "repos/z3-4.12.1"]
 	path = repos/z3-4.12.1
 	url = https://github.com/z3prover/z3
+[submodule "repos/z3-4.12.6"]
+	path = repos/z3-4.12.6
+	url = https://github.com/z3prover/z3
diff --git a/repos/z3-4.12.6 b/repos/z3-4.12.6