runtimeverification/kup
K and Semantics Distribution Tool
runtimeverification/kup è adatto ai principianti?
Abbiamo visto troppo poche pull request recenti di contributori esterni su runtimeverification/kup per dire quanto spesso vengono accettate. Al momento non è aperta nessuna issue adatta ai principianti; l'elenco qui sotto mostra le altre issue che abbiamo per questo repository.
- Stelle
- 10
- Fork
- 2
- Issue aperte per principianti
- 0
- Issue indicizzate
- 18
- Lingua principale
- Python
- Licenza
- BSD-3-Clause
- Ultimo push su GitHub
- 18/6/2026
- Ultima indicizzazione
- 21/9/2026
- Guida per i contributori
- Nessuna guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- Nessuna label per principianti indicizzata
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Come contribuire a runtimeverification/kup
- Non c'è una guida per contribuire: parti dal README e da alcune pull request accettate di recente per capire come si propongono le modifiche.
- I tuoi contributi saranno pubblicati con la licenza BSD-3-Clause del progetto.
- Segui il repository per sapere quando si apre una nuova issue adatta ai principianti, oppure guarda le altre issue qui sotto.
Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100
runtimeverification/kup#149 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/kup#138 ·
-
Update `kup list` to show nicer and shorter version strings againForse di nuovo libera @juliankuners l’ha presa 425 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/kup#137 · 1 commento · 1 assegnatario ·
-
Add more Nix versions to test CI workflowForse di nuovo libera @juliankuners l’ha presa 425 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/kup#136 · 1 assegnatario ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versionsForse di nuovo libera @juliankuners l’ha presa 426 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/kup#135 · 1 assegnatario ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/kup#121 · 1 commento ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 48/100
runtimeverification/kup#120 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
runtimeverification/kup#119 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100
runtimeverification/kup#112 · 1 commento ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
runtimeverification/kup#110 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
runtimeverification/kup#108 · 4 commenti ·
-
Fix nix version in installer and possibly emit a warning if nix version newer than tested withAperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100
runtimeverification/kup#105 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 48/100
runtimeverification/kup#96 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
runtimeverification/kup#94 ·
-
Warning on `kup install k`Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
runtimeverification/kup#93 ·
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/kup#90 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
runtimeverification/kup#57 ·
-
`k2nix` proposalAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
runtimeverification/kup#49 · 1 commento · 2 reazioni ·