From dfc6014c657b427432c0f9ea17420cfad92052ce Mon Sep 17 00:00:00 2001
From: kurisu6912 <227995639+kurisu6912@users.noreply.github.com>
Date: Fri, 26 Dec 2025 17:09:08 +0800
Subject: [PATCH 1/2] [Z3] Change timeout to rlimit for determistic behavior

---
 3rdparty/tvm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/3rdparty/tvm b/3rdparty/tvm
index 62af3338d..ce96c6085 160000
--- a/3rdparty/tvm
+++ b/3rdparty/tvm
@@ -1 +1 @@
-Subproject commit 62af3338d60e5b026f35b99ce723604afacf2228
+Subproject commit ce96c6085e09b9347d02657a306b85932ca9aded

From cae829a605bb461e9db734361835c5856280e503 Mon Sep 17 00:00:00 2001
From: kurisu6912 <227995639+kurisu6912@users.noreply.github.com>
Date: Fri, 26 Dec 2025 17:09:47 +0800
Subject: [PATCH 2/2] update tvm

---
 3rdparty/tvm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/3rdparty/tvm b/3rdparty/tvm
index ce96c6085..b487ec426 160000
--- a/3rdparty/tvm
+++ b/3rdparty/tvm
@@ -1 +1 @@
-Subproject commit ce96c6085e09b9347d02657a306b85932ca9aded
+Subproject commit b487ec4267d4890fddd7a5417e75b1a1fa553c06