This is an automated email from the ASF dual-hosted git repository.
driazati pushed a change to branch driazati/release_merge
in repository https://gitbox.apache.org/repos/asf/tvm.git
from 9bf09a03ec [ci] Disable merge to main
add 9ffd008d75 [cherry-pick][ARITH] Enhance CanonicalSimplify to Simplify
ProdDiv
No new revisions were added by this update.
Summary of changes:
src/arith/bound_deducer.cc | 4 +
src/arith/canonical_simplify.cc | 106 +++++++++++++++++++++++
src/arith/pattern_match.h | 17 ++++
tests/python/unittest/test_arith_deduce_bound.py | 10 +--
4 files changed, 131 insertions(+), 6 deletions(-)
