Remove final uses of `run_process`
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 35/100
Direzione di ricerca
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.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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.
- Lingua principale
- Python
- Stelle
- 596
- Fork
- 164
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di runtimeverification/k
-
bug
Difficoltà 3/5 Mezza giornata Idoneità per principianti 75/100
runtimeverification/k#4941 ·
-
Introduce composable symbolic execution interface in pyxForse di nuovo libera @Stevengre l’ha presa 118 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/k#4939 · 1 assegnatario ·
-
Concolic ExplorerAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 32/100
runtimeverification/k#4937 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
runtimeverification/k#4936 ·
-
Accelerating all-path reachability proofs with one-path reachability proofsForse di nuovo libera @Stevengre l’ha presa 123 giorni fa e non c’è nessuna pull request aperta. Apertatype:epic
runtimeverification/k#4934 · 4 commenti · 1 assegnatario ·
Tutte le issue di runtimeverification/k
Issue simili
-
good first issue tools
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno
-
bug deferred domain:ci P1
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
I maintainer di solito rispondono entro 1 giorno
-
get_page_thumbnail modifies cached page images, affecting later thumbnails and picture exportsAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
docling-project/docling-mcp#147 ·
-
issue: A pipe model's Valves button ignores the Allow Chat Valves permissionForse già presa Una pull request collegata a questa issue è aperta o già unita. Apertabug confirmed issue
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
open-webui/open-webui#32771 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Scheduled Security Scan is failing on mainForse già presa @pkupt l’ha presa oggi. Apertasecurity-scan-failure
Difficoltà 1/5 1-3 ore Idoneità per principianti 74/100
semantica-agi/semantica#2045 ·
I maintainer di solito rispondono entro 2 giorni