NoQ accepted this revision.
NoQ added a comment.
That's a fair point.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D85026/new/
https://reviews.llvm.org/D85026
___
cfe-commits mailing list
cfe-commits@lis
vsavchenko added a comment.
Hey, nice catch!
However, I'm going to complain about commit messages again 😅 I would prefer
having imperative mood in the message, something like "Refactor ..." or
"Introduce minor refactoring..."
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
h
steakhal accepted this revision.
steakhal added a comment.
This revision is now accepted and ready to land.
I like the change.
I also proved the equivalence, just for fun really :D
from z3 import *
def proof_equality(F, G):
s = Solver()
s.add(Not(F == G))
r = s.check()
if r
ASDenysPetrov created this revision.
ASDenysPetrov added reviewers: NoQ, vsavchenko, Eugene.Zelenko, krememek,
steakhal.
ASDenysPetrov added a project: clang.
Herald added subscribers: cfe-commits, Charusso, dkrupp, donat.nagy, Szelethus,
dexonsmith, mikhail.ramalho, a.sidorin, szepet, baloghadam
