12 Apr
2023
12 Apr
'23
9:59 a.m.
As far as I can tell we're not yet taking the logarithm of a negative number, and it's not completely clear to me why we cannot do that in a test constrained to SM4+. But I am not sure it's a good idea to waste more time on this, so I'm approving.