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

Posted to commits@tvm.apache.org by ru...@apache.org on 2023/04/09 21:06:50 UTC

[tvm] branch main updated (c581fe3802 -> 29d525bfc5)

This is an automated email from the ASF dual-hosted git repository.

ruihangl pushed a change to branch main
in repository https://gitbox.apache.org/repos/asf/tvm.git


    from c581fe3802 Update to v0.13.dev0 (#14544)
     add 29d525bfc5 [ARITH] Enhance CanonicalSimplify to Simplify ProdDiv (#14538)

No new revisions were added by this update.

Summary of changes:
 src/arith/bound_deducer.cc                         |   4 +
 src/arith/canonical_simplify.cc                    | 106 +++++++++++++++++++++
 src/arith/pattern_match.h                          |  17 ++++
 .../unittest/test_arith_canonical_simplify.py      |  29 ++++++
 tests/python/unittest/test_arith_deduce_bound.py   |  10 +-
 5 files changed, 160 insertions(+), 6 deletions(-)