`kdist` isn't as flexible as makefile

Evaluación

Línea de trabajo

Descripción

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

• Introduce composable symbolic execution interface in pyx

  Quizá libre de nuevo @Stevengre la tomó hace 97 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  runtimeverification/k#4939 · 1 asignado · Abierto el 24/6/2026

• Concolic Explorer

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 32/100

  runtimeverification/k#4937 · Abierto el 18/6/2026

• All-path reachability proof checker

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

  runtimeverification/k#4936 · Abierto el 18/6/2026

• Accelerating all-path reachability proofs with one-path reachability proofs

  Quizá libre de nuevo @Stevengre la tomó hace 103 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  type:epic

  runtimeverification/k#4934 · 4 comentarios · 1 asignado · Abierto el 15/6/2026

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

  Quizá libre de nuevo @Stevengre la tomó hace 123 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  runtimeverification/k#4924 · 1 asignado · Abierto el 29/5/2026

Todos los issues de runtimeverification/k

Issues similares

• test_run_tests_sh's walk-up probe fails in any checkout without build/, because it forbids the skip test_version_consistency takes there

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 2/5 1-3 horas Aptitud para principiantes 85/100

  lanl/bngsim#900 · Abierto el 30/9/2026

  Los mantenedores suelen responder en 1 día

• [CHORE][swarms/utils/parse_code.py][Delete the empty module]

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 1/5 Menos de una hora Aptitud para principiantes 90/100

  kyegomez/swarms#2389 · Abierto el 30/9/2026

  Los mantenedores suelen responder en 1 día

• https://search.utilibre.org

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  instance instance add

  Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

  searxng/searx-instances#941 · 1 comentario · Abierto el 29/9/2026

• operating.md §14: the uninstall's list omits the journal drop-in and its revocation

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 1/5 Menos de una hora Aptitud para principiantes 92/100

  FluidNumerics/fluid-walk-blocker#89 · Abierto el 29/9/2026

  Los mantenedores suelen responder en 1 día

• Enhancement: clearer validation errors for `set-config --parse`.

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100

  frappe/frappe#43604 · Abierto el 29/9/2026

  Los mantenedores suelen responder en 1 día

Más issues de Python