runtimeverification/kontrol
runtimeverification/kontrol è adatto ai principianti?
Abbiamo visto troppo poche pull request recenti di contributori esterni su runtimeverification/kontrol 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
- 126
- Fork
- 18
- Issue aperte per principianti
- 0
- Issue indicizzate
- 168
- Merge medio
- 8g 16h
- PR unite (30g)
- 3
- Lingua principale
- Python
- Licenza
- BSD-3-Clause
- Ultimo push su GitHub
- 5/10/2026
- Ultima indicizzazione
- 19/9/2026
- Guida per i contributori
- Guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- good first issue help wanted
Come contribuire a runtimeverification/kontrol
- Leggi prima la guida per contribuire: spiega come i maintainer vogliono che le modifiche siano proposte, testate e revisionate.
- Include un Dockerfile o un file Docker Compose, quindi puoi avviarlo senza installare tutta la sua toolchain.
- 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/kontrol#1142 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 42/100
runtimeverification/kontrol#1138 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
runtimeverification/kontrol#1137 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
runtimeverification/kontrol#1133 · 4 commenti ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 50/100
runtimeverification/kontrol#1083 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 50/100
runtimeverification/kontrol#1062 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
runtimeverification/kontrol#1054 ·
-
Keccak lemma can cause important cases to be overlooked in a testForse di nuovo libera @lucasmt l’ha presa 462 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/kontrol#1053 · 1 commento · 1 assegnatario ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
runtimeverification/kontrol#1048 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
runtimeverification/kontrol#1038 ·
-
Empty entries printed in the kaas remote compute jobForse di nuovo libera @palinatolmach l’ha presa 541 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/kontrol#1020 · 1 commento · 1 assegnatario ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
runtimeverification/kontrol#1018 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 55/100
runtimeverification/kontrol#1004 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
runtimeverification/kontrol#989 · 1 commento ·
-
Build from src (without nix) on Mac CI/CDForse di nuovo libera @FWBlueWizard l’ha presa 586 giorni fa e non c’è nessuna pull request aperta. Apertadocumentation enhancement help wanted investigation
runtimeverification/kontrol#987 · 1 assegnatario ·
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
runtimeverification/kontrol#974 · 1 commento ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
runtimeverification/kontrol#972 ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
runtimeverification/kontrol#971 ·
-
Difficoltà 2/5 Mezza giornata Idoneità per principianti 55/100
runtimeverification/kontrol#966 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
runtimeverification/kontrol#962 · 2 commenti ·
-
kaas
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/kontrol#953 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/kontrol#943 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
runtimeverification/kontrol#934 · 1 commento ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
runtimeverification/kontrol#932 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
runtimeverification/kontrol#927 ·
-
CSE for real-world contractsForse di nuovo libera @Stevengre l’ha presa 653 giorni fa e non c’è nessuna pull request aperta. Apertabug cse
runtimeverification/kontrol#922 · 1 assegnatario ·
-
Reconstruct Kontrol's functionality related to minimization and merge nodeForse di nuovo libera @Stevengre l’ha presa 680 giorni fa e non c’è nessuna pull request aperta. Apertaenhancement
runtimeverification/kontrol#908 · 1 assegnatario ·
-
Make CSE more useful by reusing the previous proofForse di nuovo libera @Stevengre l’ha presa 693 giorni fa e non c’è nessuna pull request aperta. Apertacse
runtimeverification/kontrol#896 · 3 commenti · 1 assegnatario ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
runtimeverification/kontrol#890 ·
-
[CSE] Basic CI testsForse di nuovo libera @Stevengre l’ha presa 700 giorni fa e non c’è nessuna pull request aperta. Apertacse
runtimeverification/kontrol#888 · 1 commento · 1 assegnatario ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
runtimeverification/kontrol#887 ·
-
Counter examples in SolidityApertaenhancement ux
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
runtimeverification/kontrol#886 · 1 commento ·
-
enhancement good first issue
Difficoltà 2/5 1-3 ore Idoneità per principianti 50/100
runtimeverification/kontrol#873 · 1 commento ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
runtimeverification/kontrol#866 · 4 commenti ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
runtimeverification/kontrol#863 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/kontrol#860 ·
-
engagement enhancement kaas
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
runtimeverification/kontrol#856 ·
-
engagement enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/kontrol#852 ·
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
runtimeverification/kontrol#851 · 2 commenti ·
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
runtimeverification/kontrol#834 ·
-
Reference a full `kontrol.toml` file in docsForse di nuovo libera @Stevengre l’ha presa 713 giorni fa e non c’è nessuna pull request aperta. Apertaenhancement good first issue kaas
runtimeverification/kontrol#818 · 2 commenti · 1 assegnatario ·
-
Out of bounds test idApertabug
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
runtimeverification/kontrol#805 ·
-
Update Kontrol documentationForse di nuovo libera @Stevengre l’ha presa 699 giorni fa e non c’è nessuna pull request aperta. Aperta
runtimeverification/kontrol#770 · 1 commento · 2 assegnatari ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
runtimeverification/kontrol#761 · 1 commento ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
runtimeverification/kontrol#760 ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
runtimeverification/kontrol#743 · 10 commenti ·
-
[cse] Precondition RefinementForse di nuovo libera @Stevengre l’ha presa 807 giorni fa e non c’è nessuna pull request aperta. Apertacse enhancement
runtimeverification/kontrol#742 · 7 commenti · 1 assegnatario ·
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
runtimeverification/kontrol#739 ·
-
enhancement ux
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
runtimeverification/kontrol#710 · 2 commenti ·
-
Construct an appropriate `is_mergable` heuristic for merging nodes and composable verification.Forse di nuovo libera @Stevengre l’ha presa 826 giorni fa e non c’è nessuna pull request aperta. Apertacse enhancement
runtimeverification/kontrol#703 · 6 commenti · 1 assegnatario ·
Vengono mostrati i 100 più recenti
Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.