Remove final uses of `run_process`
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 35/100
Línea de trabajo
Start with the two remaining uses in kmir/src/kmir/kparse.py and pykwasm/src/pykwasm/scripts/kwasm.py at the linked locations. Trace the definitions of run_process and run_process_2, then identify the downstream repositories that need updating. Done means the remaining uses and downstream callers use run_process, the compatibility alias is removed, and the old name is no longer needed.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
run_process has been replaced by run_process_2 except in these places:
- https://github.com/runtimeverification/mir-semantics/blob/00016f3a9375e60416ef71074b488a4e502ba96c/kmir/src/kmir/kparse.py#L78
- https://github.com/runtimeverification/wasm-semantics/blob/af8f0e84ff1ef344dadfb040128a8fdc8825d8ac/pykwasm/src/pykwasm/scripts/kwasm.py#L63
Then we should:
- Rename
run_process_2torun_process, and aliasrun_process_2torun_process. - Update downstream repos to use
run_process. - Remove
run_process_2alias.
- Lenguaje dominante
- Python
- Estrellas
- 591
- Forks
- 163
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de runtimeverification/k
-
Introduce composable symbolic execution interface in pyxQuizá libre de nuevo @Stevengre la tomó hace 98 días y no hay ningún pull request abierto. Abierto
runtimeverification/k#4939 · 1 asignado ·
-
Concolic ExplorerAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 32/100
runtimeverification/k#4937 ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
runtimeverification/k#4936 ·
-
Accelerating all-path reachability proofs with one-path reachability proofsQuizá libre de nuevo @Stevengre la tomó hace 103 días y no hay ningún pull request abierto. Abiertotype:epic
runtimeverification/k#4934 · 4 comentarios · 1 asignado ·
-
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
runtimeverification/k#4924 · 1 asignado ·
Todos los issues de runtimeverification/k
Issues similares
-
customer-reported
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
Azure/azure-cli#34150 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
community-request
Dificultad 1/5 Menos de una hora Aptitud para principiantes 95/100
NVIDIA-NeMo/Curator#2464 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
weblate-discover crashes with an unhandled FileNotFoundError when the directory does not existAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
WeblateOrg/translation-finder#1099 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
trezor/trezor-firmware#7997 ·
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
Los mantenedores suelen responder en 1 día