reconverge-witness v0.8.0 — Warp-accurate MIR interpreter that replays counterexample witnesses

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