Tianqi Chen c717c5b217 [IR][Relax][TIRx] Unify Var identity (#20004)

2026-07-15 17:12:40 +08:00

..

test_arith_analyzer_object.py

[Arith] Add Analyzer::Clone for deep-copying analyzer state (#19836)

2026-06-19 07:16:19 -04:00

test_arith_canonical_simplify.py

[TIRX] Remove SizeVar in favor of contextual constraints (#19930)

2026-07-03 11:33:14 -04:00

test_arith_const_int_bound.py

[Arith] Fix const-int-bound modular-set tightening for Mod/FloorMod (#19978)

2026-07-13 18:53:56 +08:00

test_arith_deduce_bound.py

[IR][Relax][TIRx] Unify Var identity (#20004)

2026-07-15 17:12:40 +08:00

test_arith_detect_clip_bound.py

[Refactor] Bring up tirx namespace (#18913)

2026-03-19 21:27:54 -07:00

test_arith_detect_linear_equation.py

[Refactor] Bring up tirx namespace (#18913)

2026-03-19 21:27:54 -07:00

test_arith_domain_touched.py

[TIRx] Bringup TIRx Infrastructure (#19581)

2026-05-18 16:44:43 -07:00

test_arith_intset.py

[ARITH] Scope interval constraints to mapped variables (#19963)

2026-07-06 15:47:46 -04:00

test_arith_iter_affine_map.py

[TIRX] Remove SizeVar in favor of contextual constraints (#19930)

2026-07-03 11:33:14 -04:00

test_arith_modular_set.py

[TIRx] Bringup TIRx Infrastructure (#19581)

2026-05-18 16:44:43 -07:00

test_arith_rewrite_simplify.py

[REFACTOR][IR] Unify PrimExpr with Expr typed view (#19910)

2026-07-01 18:55:33 -04:00

test_arith_simplify.py

[IR][Relax][TIRx] Unify Var identity (#20004)

2026-07-15 17:12:40 +08:00

test_arith_solve_linear_equations.py

[FFI][REFACTOR] Direct structural APIs to tvm-ffi (#19661)

2026-06-03 18:57:05 -04:00

test_arith_solve_linear_inequality.py

[FFI][REFACTOR] Direct structural APIs to tvm-ffi (#19661)

2026-06-03 18:57:05 -04:00

test_arith_z3.py

[CI] Bump CI at the Ubuntu 24.04 images and re-enable USE_Z3 (#19911)

2026-07-14 17:27:00 -04:00