[z3] update to 4.16.0 (#50086)

toge · web-flow · commit 359aa637b2a8 · 2026-02-19T13:11:05.000-08:00
diff --git a/ports/z3/portfile.cmake b/ports/z3/portfile.cmake
@@ -6,7 +6,7 @@ vcpkg_from_github(
   OUT_SOURCE_PATH SOURCE_PATH
   REPO Z3Prover/z3
   REF z3-${VERSION}
-  SHA512 e31df90b0edb3fd4a49a1069d78135d03c6b196c2bc8359a67273e02eba7214a7ff8654488f076ce7a0cf6edffdff9afc403799db3a6e5a1585a6d4c99c4df2a
+  SHA512 7dbcdd04a72f46bc3b6cbac2453b2a43f5ae126287b878ffe37f0573f910a1130c474c5edfa622dab09957f106cf425ab0f7cdfd34d41658599ad50a81ae39dd
   HEAD_REF master
   PATCHES
       fix-install-path.patch
diff --git a/ports/z3/vcpkg.json b/ports/z3/vcpkg.json
@@ -1,6 +1,6 @@
 {
   "name": "z3",
-  "version": "4.15.8",
+  "version": "4.16.0",
   "description": "Z3 is a theorem prover from Microsoft Research",
   "homepage": "https://github.com/Z3Prover/z3",
   "license": "MIT",
diff --git a/versions/baseline.json b/versions/baseline.json
@@ -10965,7 +10965,7 @@
       "port-version": 0
     },
     "z3": {
-      "baseline": "4.15.8",
+      "baseline": "4.16.0",
       "port-version": 0
     },
     "z4kn4fein-semver": {
diff --git a/versions/z-/z3.json b/versions/z-/z3.json
@@ -1,5 +1,10 @@
 {
   "versions": [
+    {
+      "git-tree": "92417c223aa55b84d0eb5633c242736f18838bcc",
+      "version": "4.16.0",
+      "port-version": 0
+    },
     {
       "git-tree": "72ef33c9ebb7e24fbbddfbe13d8c075339d2a145",
       "version": "4.15.8",

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "z3",`
`3`		`- "version": "4.15.8",`
	`3`	`+ "version": "4.16.0",`
`4`	`4`	`"description": "Z3 is a theorem prover from Microsoft Research",`
`5`	`5`	`"homepage": "https://github.com/Z3Prover/z3",`
`6`	`6`	`"license": "MIT",`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,10 @@`
`1`	`1`	`{`
`2`	`2`	`"versions": [`
	`3`	`+ {`
	`4`	`+ "git-tree": "92417c223aa55b84d0eb5633c242736f18838bcc",`
	`5`	`+ "version": "4.16.0",`
	`6`	`+ "port-version": 0`
	`7`	`+ },`
`3`	`8`	`{`
`4`	`9`	`"git-tree": "72ef33c9ebb7e24fbbddfbe13d8c075339d2a145",`
`5`	`10`	`"version": "4.15.8",`