Hacktoberfest 2026: die Issues, die Maintainer für den Oktober markiert haben – offen und einsteigerfreundlich. Hacktoberfest-Issues durchsuchen

runtimeverification/k

Zum Folgen anmelden Auf GitHub ansehen

K Framework Tools 7.0

Ist runtimeverification/k einsteigerfreundlich?

Wir haben zuletzt zu wenige Pull Requests von externen Beitragenden an runtimeverification/k gesehen, um zu sagen, wie oft sie gemergt werden. Gerade ist kein einsteigerfreundliches Issue offen; die Liste unten zeigt die übrigen Issues, die wir von diesem Repository kennen.

Sterne
591
Forks
163
Offene Anfänger-Issues
0
Indexierte Issues
308
Vorherrschende Sprache
Python
Lizenz
BSD-3-Clause
Letzter GitHub-Push
18.6.2026
Zuletzt indexiert
21.9.2026
Beitragsleitfaden
Kein Verhaltenskodex
Anfänger-Labels
Keine Anfänger-Labels indexiert
Keine gemergten PRs in 30 T.

So tragen Sie zu runtimeverification/k bei

  1. Lesen Sie zuerst den Contributing Guide: Er beschreibt, wie die Maintainer Änderungen vorgeschlagen, getestet und geprüft haben möchten.
  2. Ihre Beiträge werden unter der BSD-3-Clause-Lizenz des Projekts veröffentlicht.
  3. Folgen Sie dem Repository, um von neuen einsteigerfreundlichen Issues zu erfahren, oder sehen Sie sich die übrigen Issues unten an.
Einsteigerfreundlich Alles
Offen Alle

Issues, an denen vielleicht schon jemand arbeitet, stehen am Ende. Alles nach Datum anzeigen

  • Introduce composable symbolic execution interface in pyx
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?

    runtimeverification/k#4939 · 1 zugewiesene Person ·

  • Concolic Explorer
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 32/100

    runtimeverification/k#4937 ·

  • All-path reachability proof checker
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100

    runtimeverification/k#4936 ·

  • Accelerating all-path reachability proofs with one-path reachability proofs
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?
    type:epic

    runtimeverification/k#4934 · 4 Kommentare · 1 zugewiesene Person ·

  • Support progressive depth halving as a generic policy in `Prover.advance_proof`
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?

    runtimeverification/k#4924 · 1 zugewiesene Person ·

  • non-evaluator attribute requires manual propagation across entire call chain
    Offen
    • Stimmt etwas nicht?
    area:haskell-backend area:llvm-backend priority:p2 status:icebox type:feature

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    runtimeverification/k#4904 ·

  • UX improvements for `section_edge`
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    runtimeverification/k#4897 ·

  • Upgrade github action linter and fix issues
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

    runtimeverification/k#4887 ·

  • Kompile error on MacOS Sequoia 15.7.1
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100

    runtimeverification/k#4872 ·

  • [K-Bug] Kompile silently allows files with the same name to exist in multiple include directories
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    runtimeverification/k#4847 ·

  • [Build Fail] for 6659639
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 20/100

    runtimeverification/k#4806 ·

  • Automation analysis
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100

    runtimeverification/k#4791 ·

  • [DevOps] Investigate MacOs Build from Source in K pipeline (backends & downstream)
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    runtimeverification/k#4786 · 1 Kommentar ·

  • Add `preserves-definedness` to attributes recognized by pyk
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?

    runtimeverification/k#4784 · 1 zugewiesene Person ·

  • [K-Bug] LLVM Backend crash when comparing MInt
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?

    runtimeverification/k#4760 · 1 zugewiesene Person ·

  • Eliminate `Option` from `total` function result types
    Offen
    • Stimmt etwas nicht?
    lean4-backend

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

    runtimeverification/k#4756 ·

  • Remove `do` blocks from generated Lean code when possible
    Offen
    • Stimmt etwas nicht?
    lean4-backend

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100

    runtimeverification/k#4755 ·

  • Support `unsafe` for `to_module`
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?
    bug kast

    runtimeverification/k#4754 · 1 zugewiesene Person ·

  • Unify definedness binders for function applications
    Offen
    • Stimmt etwas nicht?
    lean4-backend

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    runtimeverification/k#4752 ·

  • Format Lean 4 generated code
    Offen
    • Stimmt etwas nicht?
    lean4-backend

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100

    runtimeverification/k#4747 · 1 Kommentar ·

  • Lean 4 backend improvements
    Offen
    • Stimmt etwas nicht?
    lean4-backend

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

    runtimeverification/k#4743 ·

  • Cosmetic changes for the Lean 4 translation
    Offen
    • Stimmt etwas nicht?
    lean4-backend

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

    runtimeverification/k#4730 ·

  • Implement K prelude in Lean 4
    Offen
    • Stimmt etwas nicht?
    lean4-backend

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    runtimeverification/k#4725 ·

  • Internal: bison returned nonzero exit code: 141, kompile not found
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    runtimeverification/k#4718 ·

  • [K-Bug] NullPointerException when kompiling simple file
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100

    runtimeverification/k#4716 ·

  • [K-Bug] Two configuration declarations in a single module produces an unhelpful error message
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 38/100

    runtimeverification/k#4705 · 1 Kommentar ·

  • [K-Bug] ConcurrentModificationException while running kompile
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

    runtimeverification/k#4703 ·

  • Refactors to konvert and module_to_kore
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    runtimeverification/k#4690 ·

  • [K-Bug] Cannot generate bison parser or glr-bison parser
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

    runtimeverification/k#4678 · 1 Kommentar ·

  • [K-Bug] The LLVM backend ignores rule priorities
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    runtimeverification/k#4676 ·

  • A difficult-to-reproduce segmentation fault.
    Offen
    • Stimmt etwas nicht?
    bug

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100

    runtimeverification/k#4672 ·

  • Improved interpreter error messages for quicker error identification
    Offen
    • Stimmt etwas nicht?
    enhancement llvm-backend

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    runtimeverification/k#4670 ·

  • `kdist` isn't as flexible as makefile
    Offen
    • Stimmt etwas nicht?
    enhancement kdist

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    runtimeverification/k#4669 · 2 Kommentare ·

  • Improve the performance of `kompile`
    Offen
    • Stimmt etwas nicht?
    enhancement incremental-compilation kompile

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    runtimeverification/k#4668 · 2 Kommentare ·

  • [K-Bug] <pyk coverage runerror>
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 42/100

    runtimeverification/k#4664 ·

  • Wrong type annotations in pyk
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

    runtimeverification/k#4660 ·

  • Understanding the `bmc-depth` bottleneck
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    runtimeverification/k#4658 · 1 Reaktion ·

  • Tips for using K
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?
    documentation

    runtimeverification/k#4655 · 1 zugewiesene Person ·

  • Cell extraction and substitution in Kore.
    Offen
    • Stimmt etwas nicht?
    enhancement pyk

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100

    runtimeverification/k#4652 ·

  • How to automatically generate the python bindings from the semantics?
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    runtimeverification/k#4649 ·

  • Polish list lookup patterns
    Offen
    • Stimmt etwas nicht?
    enhancement kompile

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100

    runtimeverification/k#4640 ·

  • [K-Bug] ClassCastException for #as and cells
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    runtimeverification/k#4638 ·

  • Remove final uses of `run_process`
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    runtimeverification/k#4627 ·

  • [K-Bug] AssertionError for incomplete rule
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

    runtimeverification/k#4613 ·

  • [K-Bug] Broken MInt literal parsing
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

    runtimeverification/k#4609 ·

  • Automatically verifying the correctness of simplification rules.
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100

    runtimeverification/k#4604 · 2 Kommentare ·

  • Check that tokens are non-empty after `#Layout`
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

    runtimeverification/k#4595 ·

  • [K-Bug] Broken "Non-exhausive match" warning
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100

    runtimeverification/k#4587 ·

  • Support for syntactic simplifications
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

    runtimeverification/k#4579 · 21 Kommentare ·

  • [K-Improvement] Metadata attribute
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

    runtimeverification/k#4568 ·

Die neuesten 100 werden angezeigt

Diese Seite listet nur das zuletzt Erfasste. Der vollständige Bestand steht im erweiterten Filter, eingegrenzt nach Sprache, Schwierigkeit und Aufwand.

Erweiterten Filter öffnen

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.