This is an automated email from the ASF dual-hosted git repository.
jwfromm pushed a change to branch main
in repository https://gitbox.apache.org/repos/asf/tvm.git
from 0554a46789 [TIR][Arith] Support negative coeff in ModularSet (#13081)
add 0c10302fd0 [Arith] Add internal NarrowPredicateExpression utility
(#13041)
No new revisions were added by this update.
Summary of changes:
src/arith/narrow_predicate_expression.cc | 219 +++++++++++++++++++++
src/arith/narrow_predicate_expression.h | 57 ++++++
.../test_arith_narrow_predicate_expression.py | 87 ++++++++
3 files changed, 363 insertions(+)
create mode 100644 src/arith/narrow_predicate_expression.cc
create mode 100644 src/arith/narrow_predicate_expression.h
create mode 100644
tests/python/unittest/test_arith_narrow_predicate_expression.py
