Kmeakin edited PR #6053 from imul-cancel to main:
imul-cancel
main
;; ineg(x) * ineg(y) == x*y.
cfallin submitted PR review.
cfallin has enabled auto merge for PR #6053.
cfallin merged PR #6053.
Last updated: Dec 23 2024 at 13:07 UTC