You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2022/03/15 21:52:31 UTC
[GitHub] [tvm] vinx13 opened a new pull request #10626: [Arith] Fix floormod rewrite simplify rule
vinx13 opened a new pull request #10626:
URL: https://github.com/apache/tvm/pull/10626
cc @junrushao1994 @tkonolige
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [tvm] vinx13 commented on pull request #10626: [Arith] Fix floormod rewrite simplify rule
Posted by GitBox <gi...@apache.org>.
vinx13 commented on pull request #10626:
URL: https://github.com/apache/tvm/pull/10626#issuecomment-1068577498
@tkonolige I can confirm it pass the test with the given seed
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [tvm] tkonolige commented on pull request #10626: [Arith] Fix floormod rewrite simplify rule
Posted by GitBox <gi...@apache.org>.
tkonolige commented on pull request #10626:
URL: https://github.com/apache/tvm/pull/10626#issuecomment-1068554865
This PR supersedes #10618.
@vinx13 can you confirm that the error is no longer present if `seed = 8607320357002032383` here: https://github.com/apache/tvm/blob/main/tests/python/unittest/test_arith_solve_linear_inequality.py#L25?
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [tvm] junrushao1994 merged pull request #10626: [Arith] Fix floormod rewrite simplify rule
Posted by GitBox <gi...@apache.org>.
junrushao1994 merged pull request #10626:
URL: https://github.com/apache/tvm/pull/10626
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org