Skip to content

Porting loop at scale: baseline-reuse proofs, run-many, adopt; COCRDUPC recorded as not proven - #4085

Merged
squid-protocol merged 1 commit into
mainfrom
feat/loop-speedups
Oct 1, 2026
Merged

Porting loop at scale: baseline-reuse proofs, run-many, adopt; COCRDUPC recorded as not proven#4085
squid-protocol merged 1 commit into
mainfrom
feat/loop-speedups

Porting loop at scale: proofs reuse a baseline run, run-many, adopt; …

5a25e51
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar