This is an automated email from the ASF dual-hosted git repository.
wuwei pushed a change to branch main
in repository https://gitbox.apache.org/repos/asf/tvm.git
from 5cbcaf45a4 [MetaSchedule] Make the `opt_level` of `tune_relay()`
adjustable (#16725)
add 95ec38be98 [Arith] Provide tighter ConstIntBounds for special cases
(#16588)
No new revisions were added by this update.
Summary of changes:
src/arith/const_int_bound.cc | 200 +++++++++
src/arith/rewrite_simplify.cc | 11 +
tests/python/arith/test_arith_const_int_bound.py | 488 +++++++++-------------
tests/python/arith/test_arith_rewrite_simplify.py | 24 ++
4 files changed, 434 insertions(+), 289 deletions(-)
