Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

Support progressive depth halving as a generic policy in `Prover.advance_proof`

Aperta
  • Qualcosa non va?
#4,924 0 commenti 0 reazioni 1 assegnatario Vedi su GitHub

@Stevengre ci sta già lavorando.

Dal 29/5/2026.

Valutazione

Questa issue non è ancora stata valutata.

Descrizione

kontrol#1141 adds --per-depth-timeout to kontrol prove: each attempt has a stall window of depth * per_depth_timeout seconds in which the proof must commit at least one new node, otherwise the attempt is killed and max_depth is halved (down to 1). In this review comment, @ehildenb suggested factoring this into Prover.advance_proof so it's a generic policy rather than per-tool code.

Lingua principale
Python
Stelle
591
Fork
163
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di runtimeverification/k

Tutte le issue di runtimeverification/k

Issue simili

Altre issue su Python

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.