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

Reject stale refinements after short-circuit RHS writes

e8cf402
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar