This is an automated email from the ASF dual-hosted git repository.
github-bot pushed a change to branch last-successful
in repository https://gitbox.apache.org/repos/asf/tvm.git
from f06896f38f [Relay] Fix simplifying consecutive casts when intermediate
type has fewer bits (#13056)
add 29a8f06066 [Arith] Optional rewriting and simplification into AND of
ORs (#12972)
No new revisions were added by this update.
Summary of changes:
include/tvm/arith/analyzer.h | 8 +
src/arith/conjunctive_normal_form.cc | 430 +++++++++++++++++++++
.../conjunctive_normal_form.h} | 33 +-
src/arith/rewrite_simplify.cc | 11 +
src/arith/rewrite_simplify.h | 4 +
src/tir/transforms/simplify.cc | 9 +-
.../python/unittest/test_tir_transform_simplify.py | 130 +++++++
7 files changed, 613 insertions(+), 12 deletions(-)
create mode 100644 src/arith/conjunctive_normal_form.cc
copy src/{relay/backend/param_dict.h => arith/conjunctive_normal_form.h} (60%)
