Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

runtimeverification/k

Accedi per seguire Vedi su GitHub

K Framework Tools 7.0

runtimeverification/k è adatto ai principianti?

Abbiamo visto troppo poche pull request recenti di contributori esterni su runtimeverification/k 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
591
Fork
163
Issue aperte per principianti
0
Issue indicizzate
308
Lingua principale
Python
Licenza
BSD-3-Clause
Ultimo push su GitHub
18/6/2026
Ultima indicizzazione
21/9/2026
Guida per i contributori
Nessun codice di condotta
Label per principianti
Nessuna label per principianti indicizzata
Nessuna PR unita negli ultimi 30g

Come contribuire a runtimeverification/k

  1. Leggi prima la guida per contribuire: spiega come i maintainer vogliono che le modifiche siano proposte, testate e revisionate.
  2. I tuoi contributi saranno pubblicati con la licenza BSD-3-Clause del progetto.
  3. Segui il repository per sapere quando si apre una nuova issue adatta ai principianti, oppure guarda le altre issue qui sotto.
Adatte ai principianti Tutto
Aperta Tutte

Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data

  • Introduce composable symbolic execution interface in pyx
    Forse di nuovo libera Aperta
    • Qualcosa non va?

    runtimeverification/k#4939 · 1 assegnatario ·

  • Concolic Explorer
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 32/100

    runtimeverification/k#4937 ·

  • All-path reachability proof checker
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

    runtimeverification/k#4936 ·

  • Accelerating all-path reachability proofs with one-path reachability proofs
    Forse di nuovo libera Aperta
    • Qualcosa non va?
    type:epic

    runtimeverification/k#4934 · 4 commenti · 1 assegnatario ·

  • Support progressive depth halving as a generic policy in `Prover.advance_proof`
    Forse di nuovo libera Aperta
    • Qualcosa non va?

    runtimeverification/k#4924 · 1 assegnatario ·

  • non-evaluator attribute requires manual propagation across entire call chain
    Aperta
    • Qualcosa non va?
    area:haskell-backend area:llvm-backend priority:p2 status:icebox type:feature

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    runtimeverification/k#4904 ·

  • UX improvements for `section_edge`
    Aperta
    • Qualcosa non va?

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    runtimeverification/k#4897 ·

  • Upgrade github action linter and fix issues
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

    runtimeverification/k#4887 ·

  • Kompile error on MacOS Sequoia 15.7.1
    Aperta
    • Qualcosa non va?

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

    runtimeverification/k#4872 ·

  • [K-Bug] Kompile silently allows files with the same name to exist in multiple include directories
    Aperta
    • Qualcosa non va?

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    runtimeverification/k#4847 ·

  • [Build Fail] for 6659639
    Aperta
    • Qualcosa non va?

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 20/100

    runtimeverification/k#4806 ·

  • Automation analysis
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

    runtimeverification/k#4791 ·

  • [DevOps] Investigate MacOs Build from Source in K pipeline (backends & downstream)
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    runtimeverification/k#4786 · 1 commento ·

  • Add `preserves-definedness` to attributes recognized by pyk
    Forse di nuovo libera Aperta
    • Qualcosa non va?

    runtimeverification/k#4784 · 1 assegnatario ·

  • [K-Bug] LLVM Backend crash when comparing MInt
    Forse di nuovo libera Aperta
    • Qualcosa non va?

    runtimeverification/k#4760 · 1 assegnatario ·

  • Eliminate `Option` from `total` function result types
    Aperta
    • Qualcosa non va?
    lean4-backend

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

    runtimeverification/k#4756 ·

  • Remove `do` blocks from generated Lean code when possible
    Aperta
    • Qualcosa non va?
    lean4-backend

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

    runtimeverification/k#4755 ·

  • Support `unsafe` for `to_module`
    Forse di nuovo libera Aperta
    • Qualcosa non va?
    bug kast

    runtimeverification/k#4754 · 1 assegnatario ·

  • Unify definedness binders for function applications
    Aperta
    • Qualcosa non va?
    lean4-backend

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    runtimeverification/k#4752 ·

  • Format Lean 4 generated code
    Aperta
    • Qualcosa non va?
    lean4-backend

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

    runtimeverification/k#4747 · 1 commento ·

  • Lean 4 backend improvements
    Aperta
    • Qualcosa non va?
    lean4-backend

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

    runtimeverification/k#4743 ·

  • Cosmetic changes for the Lean 4 translation
    Aperta
    • Qualcosa non va?
    lean4-backend

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

    runtimeverification/k#4730 ·

  • Implement K prelude in Lean 4
    Aperta
    • Qualcosa non va?
    lean4-backend

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    runtimeverification/k#4725 ·

  • Internal: bison returned nonzero exit code: 141, kompile not found
    Aperta
    • Qualcosa non va?

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    runtimeverification/k#4718 ·

  • [K-Bug] NullPointerException when kompiling simple file
    Aperta
    • Qualcosa non va?

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

    runtimeverification/k#4716 ·

  • [K-Bug] Two configuration declarations in a single module produces an unhelpful error message
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100

    runtimeverification/k#4705 · 1 commento ·

  • [K-Bug] ConcurrentModificationException while running kompile
    Aperta
    • Qualcosa non va?

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

    runtimeverification/k#4703 ·

  • Refactors to konvert and module_to_kore
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    runtimeverification/k#4690 ·

  • [K-Bug] Cannot generate bison parser or glr-bison parser
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

    runtimeverification/k#4678 · 1 commento ·

  • [K-Bug] The LLVM backend ignores rule priorities
    Aperta
    • Qualcosa non va?

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    runtimeverification/k#4676 ·

  • A difficult-to-reproduce segmentation fault.
    Aperta
    • Qualcosa non va?
    bug

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

    runtimeverification/k#4672 ·

  • Improved interpreter error messages for quicker error identification
    Aperta
    • Qualcosa non va?
    enhancement llvm-backend

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    runtimeverification/k#4670 ·

  • `kdist` isn't as flexible as makefile
    Aperta
    • Qualcosa non va?
    enhancement kdist

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    runtimeverification/k#4669 · 2 commenti ·

  • Improve the performance of `kompile`
    Aperta
    • Qualcosa non va?
    enhancement incremental-compilation kompile

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    runtimeverification/k#4668 · 2 commenti ·

  • [K-Bug] <pyk coverage runerror>
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100

    runtimeverification/k#4664 ·

  • Wrong type annotations in pyk
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

    runtimeverification/k#4660 ·

  • Understanding the `bmc-depth` bottleneck
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    runtimeverification/k#4658 · 1 reazione ·

  • Tips for using K
    Forse di nuovo libera Aperta
    • Qualcosa non va?
    documentation

    runtimeverification/k#4655 · 1 assegnatario ·

  • Cell extraction and substitution in Kore.
    Aperta
    • Qualcosa non va?
    enhancement pyk

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

    runtimeverification/k#4652 ·

  • How to automatically generate the python bindings from the semantics?
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    runtimeverification/k#4649 ·

  • Polish list lookup patterns
    Aperta
    • Qualcosa non va?
    enhancement kompile

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

    runtimeverification/k#4640 ·

  • [K-Bug] ClassCastException for #as and cells
    Aperta
    • Qualcosa non va?

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    runtimeverification/k#4638 ·

  • Remove final uses of `run_process`
    Aperta
    • Qualcosa non va?

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    runtimeverification/k#4627 ·

  • [K-Bug] AssertionError for incomplete rule
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

    runtimeverification/k#4613 ·

  • [K-Bug] Broken MInt literal parsing
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

    runtimeverification/k#4609 ·

  • Automatically verifying the correctness of simplification rules.
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

    runtimeverification/k#4604 · 2 commenti ·

  • Check that tokens are non-empty after `#Layout`
    Aperta
    • Qualcosa non va?

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

    runtimeverification/k#4595 ·

  • [K-Bug] Broken "Non-exhausive match" warning
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100

    runtimeverification/k#4587 ·

  • Support for syntactic simplifications
    Aperta
    • Qualcosa non va?
    enhancement

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

    runtimeverification/k#4579 · 21 commenti ·

  • [K-Improvement] Metadata attribute
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

    runtimeverification/k#4568 ·

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.

Apri il filtro avanzato

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.