Skip to content

Reject stale refinements after short-circuit RHS writes - #324

Draft
CatarinaGamboa wants to merge 1 commit into
mainfrom
fix/323-short-circuit-soundness
Draft

Reject stale refinements after short-circuit RHS writes#324
CatarinaGamboa wants to merge 1 commit into
mainfrom
fix/323-short-circuit-soundness

Commits

  1. Commits on Oct 2, 2026