r2smt-difflift v0.1.0 — Differential multi-lifter harness: cross-checks the P-code, ESIL and per-mnemonic lowerings of the same instruction for semantic equivalence.

Sign in to join the discussion — your thebay.events account works here.