jcf94 commented on pull request #5898:
URL: https://github.com/apache/incubator-tvm/pull/5898#issuecomment-648550481
> Please split the rewrite simplify into its own PR and add unittestcases
for the newly added rules. It would be great if we can write down a few lines
of proof sketches,
jcf94 commented on pull request #5898:
URL: https://github.com/apache/incubator-tvm/pull/5898#issuecomment-648123643
Seems the extra simplify rule caused a UT error, I'll try to fix that.
This is an automated message from