This is an automated email from the ASF dual-hosted git repository.
github-bot pushed a change to branch last-successful
in repository https://gitbox.apache.org/repos/asf/tvm.git
from f42826eec4 [MetaSchedule] Enable anchor-block tuning (#13206)
add 602c194f25 [TIR][Arith] Implement kApplyConstraintsToBooleanBranches
extension (#13129)
No new revisions were added by this update.
Summary of changes:
include/tvm/arith/analyzer.h | 13 ++
src/arith/rewrite_simplify.cc | 137 ++++++++++++++++++--
src/tir/transforms/simplify.cc | 11 ++
.../python/unittest/test_tir_transform_simplify.py | 144 +++++++++++++++++++++
4 files changed, 297 insertions(+), 8 deletions(-)
