Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

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

Abierto
  • ¿Algo no está bien?
#4,924 0 comentarios 0 reacciones 1 asignado Ver en GitHub

@Stevengre ya está trabajando en esto.

Desde el 29/5/2026.

Evaluación

Este issue todavía no se ha evaluado.

Descripción

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.

Lenguaje dominante
Python
Estrellas
591
Forks
163
Sin PR fusionados en 30 d

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de runtimeverification/k

Todos los issues de runtimeverification/k

Issues similares

Más issues de Python

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.