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 ff6ce9c2b3 Enable Shared Function in LiftTransformParam Pass (#16717)
add 48cedc7d2e [Arith][Fixup] Require feature flag for tighter inequality
bounds (#16735)
No new revisions were added by this update.
Summary of changes:
include/tvm/arith/analyzer.h | 29 ++++
python/tvm/arith/__init__.py | 2 +-
python/tvm/arith/analyzer.py | 38 ++++-
src/arith/analyzer.cc | 10 ++
src/arith/const_int_bound.cc | 168 ----------------------
src/arith/rewrite_simplify.cc | 147 ++++++++++++++++++-
src/arith/rewrite_simplify.h | 1 +
tests/python/arith/test_arith_const_int_bound.py | 3 +
tests/python/arith/test_arith_rewrite_simplify.py | 13 +-
9 files changed, 238 insertions(+), 173 deletions(-)
