Skip to content

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

Closed
Stevengre wants to merge 1 commit into
runtimeverification:masterfrom
Stevengre:feat/per-depth-timeout-advance-proof
Closed

Add progressive depth-halving policy to Prover.advance_proof#4925
Stevengre wants to merge 1 commit into
runtimeverification:masterfrom
Stevengre:feat/per-depth-timeout-advance-proof

Add progressive depth-halving policy to Prover.advance_proof

aca8c83
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Run actionlint
succeeded Jun 1, 2026 in 7s