This is an automated email from the ASF dual-hosted git repository. tqchen pushed a change to branch master in repository https://gitbox.apache.org/repos/asf/incubator-tvm.git.
from a64feed [Relay][Frontend][Onnx] Small bug fix for Conv1D imports. (#5995) add 151f3f5 [Arith] Inequalities solver (#5618) No new revisions were added by this update. Summary of changes: include/tvm/arith/analyzer.h | 7 +- include/tvm/arith/int_solver.h | 145 +++++ python/tvm/arith/__init__.py | 2 +- python/tvm/arith/analyzer.py | 9 +- python/tvm/arith/int_solver.py | 78 +++ python/tvm/testing.py | 98 +++- src/arith/analyzer.cc | 22 +- src/arith/int_constraints.cc | 164 ++++++ src/arith/int_operator.h | 11 + src/arith/solve_linear_inequality.cc | 646 +++++++++++++++++++++ ...tem.py => test_arith_solve_linear_equations.py} | 80 +-- .../unittest/test_arith_solve_linear_inequality.py | 188 ++++++ 12 files changed, 1363 insertions(+), 87 deletions(-) create mode 100644 src/arith/solve_linear_inequality.cc rename tests/python/unittest/{test_arith_solve_linear_system.py => test_arith_solve_linear_equations.py} (62%) create mode 100644 tests/python/unittest/test_arith_solve_linear_inequality.py