hex.quadrupled_exact_xorΒΆ

{q3,q2,q1,q0} ^= src
{r3,r2,r1,r0} ^= src
{t3,t2,t1,t0} ^= src
{d3,d2,d1,d0} ^= src

r3,r2,r1,r0,q3,q2,q1,q0,t3,t2,t1,t0,d3,d2,d1,d0 are bit-addresses; src is hex.

SignatureΒΆ

def quadrupled_exact_xor r3, r2, r1, r0, q3, q2, q1, q0, t3, t2, t1, t0, d3, d2, d1, d0, src @ first_flip, second_flip, third_flip, fourth_flip, end { ... }

Defined in hex/logics.fj β€” lines 166–243 (view on GitHub).

ComplexityΒΆ

  • Time: @+12

  • Space: @+60

See the complexity glossary for what @, w, dw, dbit, n mean.