This is an automated email from the ASF dual-hosted git repository.
tqchen pushed a change to branch main
in repository https://gitbox.apache.org/repos/asf/tvm.git.
from 4a6b8c0 Fix Jenkins skip for CPU/GPU (#9549)
add 4bb6f31 [TensorIR][UX] Type annotation-based runtime type checking
(#9559)
No new revisions were added by this update.
Summary of changes:
python/tvm/tir/schedule/_type_checker.py | 193 +++++++++++++++++++++++++++++++
python/tvm/tir/schedule/schedule.py | 61 +++++++---
src/tir/schedule/concrete_schedule.h | 4 +-
3 files changed, 242 insertions(+), 16 deletions(-)
create mode 100644 python/tvm/tir/schedule/_type_checker.py