Skip to content

Add progressive depth-halving policy to Prover.advance_proof#2

Closed
Stevengre wants to merge 14 commits into
masterfrom
feat/per-depth-timeout-advance-proof
Closed

Add progressive depth-halving policy to Prover.advance_proof#2
Stevengre wants to merge 14 commits into
masterfrom
feat/per-depth-timeout-advance-proof

Expose --step-timeout as a prove CLI option

fa4c4fa
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar