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(-)