runtimeverification/kup
K and Semantics Distribution Tool
runtimeverification/kup est-il accessible aux débutants ?
Nous avons vu trop peu de pull requests récentes de contributeurs externes sur runtimeverification/kup pour dire à quelle fréquence elles sont fusionnées. Aucune issue accessible aux débutants n'est ouverte pour l'instant ; la liste ci-dessous montre les autres issues que nous avons pour ce dépôt.
- Étoiles
- 10
- Forks
- 2
- Issues débutants ouvertes
- 0
- Issues indexées
- 18
- Langage dominant
- Python
- Licence
- BSD-3-Clause
- Dernier push GitHub
- 18/6/2026
- Dernière indexation
- 21/9/2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Labels débutants
- Aucun label débutant indexé
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Comment contribuer à runtimeverification/kup
- Il n'y a pas de guide de contribution : partez du README et de quelques pull requests fusionnées récemment pour voir comment les changements sont proposés.
- Vos contributions seront publiées sous la licence BSD-3-Clause du projet.
- Suivez le dépôt pour savoir quand une nouvelle issue accessible aux débutants s'ouvre, ou parcourez les autres issues ci-dessous.
Les issues sur lesquelles quelqu’un travaille peut-être déjà sont listées en dernier. Tout trier par date
-
Difficulté 3/5 1-2 jours Accessibilité débutants 52/100
runtimeverification/kup#149 ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
runtimeverification/kup#138 ·
-
Update `kup list` to show nicer and shorter version strings againPeut-être à nouveau libre @juliankuners l’a pris il y a 426 jours, et aucune pull request n’est ouverte. Ouverte
runtimeverification/kup#137 · 1 commentaire · 1 personne assignée ·
-
Add more Nix versions to test CI workflowPeut-être à nouveau libre @juliankuners l’a pris il y a 426 jours, et aucune pull request n’est ouverte. Ouverte
runtimeverification/kup#136 · 1 personne assignée ·
-
Kup fails to uninstall nix profile packages by index on new nix and nix manifest versionsPeut-être à nouveau libre @juliankuners l’a pris il y a 426 jours, et aucune pull request n’est ouverte. Ouverte
runtimeverification/kup#135 · 1 personne assignée ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
runtimeverification/kup#121 · 1 commentaire ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 48/100
runtimeverification/kup#120 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 45/100
runtimeverification/kup#119 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 35/100
runtimeverification/kup#112 · 1 commentaire ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 55/100
runtimeverification/kup#110 ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 45/100
runtimeverification/kup#108 · 4 commentaires ·
-
Fix nix version in installer and possibly emit a warning if nix version newer than tested withOuverte
Difficulté 3/5 1-2 jours Accessibilité débutants 25/100
runtimeverification/kup#105 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 48/100
runtimeverification/kup#96 ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 35/100
runtimeverification/kup#94 ·
-
Warning on `kup install k`Ouverte
Difficulté 4/5 3-5 jours Accessibilité débutants 25/100
runtimeverification/kup#93 ·
-
enhancement
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
runtimeverification/kup#90 ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 30/100
runtimeverification/kup#57 ·
-
`k2nix` proposalOuverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100
runtimeverification/kup#49 · 1 commentaire · 2 réactions ·