You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tvm.apache.org by tq...@apache.org on 2020/07/06 17:04:56 UTC

[incubator-tvm] branch master updated (a64feed -> 151f3f5)

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