Skip to content
Merged
Changes from 1 commit
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
ea31e4b
[CMAKE] Upgrade TVM build baseline to C++20
Ubospica Jun 11, 2026
f69ef25
[CMAKE] Keep downstream helper standards unchanged
Ubospica Jun 11, 2026
a93a250
[DOCS] Fix from source dependency list formatting
Ubospica Jun 14, 2026
f3840d7
[ARITH] Add optional Z3-backed proving to Analyzer
Ubospica Jun 3, 2026
254010f
update
Ubospica Jun 10, 2026
a6b45d6
Drop accidentally committed build artifacts
Ubospica Jun 10, 2026
551df5d
[CMAKE] Link Z3 statically from the z3-staticlib package by default
Ubospica Jun 10, 2026
5c9a546
Stop ignoring python/tvm/_version.py
Ubospica Jun 10, 2026
6c114da
[CMAKE] Enable static z3 package by default
Ubospica Jun 14, 2026
84a2b4a
[CMAKE] Clean up LLVM include propagation
Ubospica Jun 14, 2026
048b5d0
[CMAKE] Auto-enable Z3 when available
Ubospica Jun 14, 2026
80fc0ef
[CMAKE] Use MSVC include dirs for LLVM headers
Ubospica Jun 14, 2026
f46a5bd
[CMAKE] Document MSVC LLVM include handling
Ubospica Jun 14, 2026
f211a32
[CMAKE] Clarify MSVC LLVM include handling
Ubospica Jun 14, 2026
010b079
[CI] Retry GPU infrastructure check
Ubospica Jun 14, 2026
1d995cc
[TEST] Match reflected structural equal access paths
Ubospica Jun 14, 2026
6495bd5
[TEST] Lift rlimit for Z3 monotonicity proof
Ubospica Jun 14, 2026
6d25638
[TEST] Lift rlimit for Z3 index bound proof
Ubospica Jun 14, 2026
eccf6d1
[ARITH] Pin Z3 context lifetime in prover
Ubospica Jun 15, 2026
9c9f152
[TEST] Tolerate reflected access path formatting
Ubospica Jun 15, 2026
c94829f
[CMAKE] Use z3-static config module for Z3 lookup
Ubospica Jun 16, 2026
a4df6ba
[CMAKE] Require z3-static config package
Ubospica Jun 16, 2026
5ddcbfc
[LINT] Apply Z3 formatting fixes
Ubospica Jun 16, 2026
7b89ce7
[FFI] Restore tvm-ffi submodule pointer
Ubospica Jun 17, 2026
f028cee
[TEST] Restore Relax structural path checks
Ubospica Jun 17, 2026
c857a26
[CI] Retry infrastructure checks
Ubospica Jun 17, 2026
fde41c9
[CI] Retry stuck Windows setup
Ubospica Jun 17, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
[TEST] Match reflected structural equal access paths
  • Loading branch information
Ubospica committed Jun 16, 2026
commit 1d995cc29c48c4ec4db67044dfaa8c9cb8b28493
2 changes: 1 addition & 1 deletion tests/python/relax/test_utils.py
Original file line number Diff line number Diff line change
Expand Up @@ -143,7 +143,7 @@ def func_2(A: R.Tensor([16, 16], "float32")):

with pytest.raises(
ValueError,
match=re.escape("<root>.body.blocks[0].bindings[0].value.op"),
match=r'key="body".*key="blocks".*key="bindings".*key="value".*key="op"',
):
assert_structural_equal(func_1, func_2)

Expand Down