[Enhancement] Use static Z3 context (#1482)

* use static Z3 context * Update submodule reference for TVM to indicate a dirty state

[Enhancement] Use static Z3 context (#1482)
* use static Z3 context * Update submodule reference for TVM to indicate a dirty state
168aec7b · Lei Wang · GitHub · 2217eb74 · 79ed747d · 88778fa8
Unverified Commit 168aec7b authored Dec 20, 2025 by Lei Wang Committed by GitHub Dec 20, 2025
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

3rdparty/tvm 3rdparty/tvm +1 -1

No files found.
--- a/tvm @ 79ed747d
+++ b/tvm @ 79ed747d
-Subproject commit 88778fa89d3203d3feb66950b86ca2f942c70fa5
+Subproject commit 79ed747db67e60d3a1889d8afd33473bc2424ade