Hacktoberfest 2026: as issues que os mantenedores marcaram para outubro, abertas e boas para iniciantes. Ver issues do Hacktoberfest

runtimeverification/k

Entre para seguir Ver no GitHub

K Framework Tools 7.0

runtimeverification/k é bom para iniciantes?

Vimos poucos pull requests recentes de contribuidores externos em runtimeverification/k para dizer com que frequência eles recebem merge. No momento não há nenhuma issue para iniciantes aberta; a lista abaixo mostra as outras issues que temos deste repositório.

Estrelas
594
Forks
164
Issues abertas para iniciantes
0
Issues indexadas
309
Linguagem predominante
Python
Licença
BSD-3-Clause
Último push no GitHub
18/6/2026
Última indexação
21/9/2026
Guia de contribuição
Sem código de conduta
Labels para iniciantes
Nenhum label para iniciantes indexado
Nenhum PR com merge em 30d

Como contribuir com runtimeverification/k

  1. Leia primeiro o guia de contribuição: ele explica como os mantenedores querem que as mudanças sejam propostas, testadas e revisadas.
  2. Suas contribuições serão publicadas sob a licença BSD-3-Clause do projeto.
  3. Siga o repositório para saber quando uma nova issue para iniciantes for aberta, ou veja as outras issues abaixo.
Para iniciantes Tudo
Abertas Todas

Issues em que talvez alguém já esteja trabalhando aparecem no fim. Ordenar tudo por data

  • Non-ASCII characters in symbol names
    Aberta
    • Algo errado?
    bug

    Dificuldade 3/5 Meio dia Facilidade para iniciantes 75/100

    runtimeverification/k#4941 ·

  • Introduce composable symbolic execution interface in pyx
    Talvez livre de novo Aberta
    • Algo errado?

    runtimeverification/k#4939 · 1 responsável ·

  • Concolic Explorer
    Aberta
    • Algo errado?

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 32/100

    runtimeverification/k#4937 ·

  • All-path reachability proof checker
    Aberta
    • Algo errado?

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 30/100

    runtimeverification/k#4936 ·

  • Accelerating all-path reachability proofs with one-path reachability proofs
    Talvez livre de novo Aberta
    • Algo errado?
    type:epic

    runtimeverification/k#4934 · 4 comentários · 1 responsável ·

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

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    runtimeverification/k#4904 ·

  • UX improvements for `section_edge`
    Aberta
    • Algo errado?

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

    runtimeverification/k#4897 ·

  • Upgrade github action linter and fix issues
    Aberta
    • Algo errado?

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100

    runtimeverification/k#4887 ·

  • Kompile error on MacOS Sequoia 15.7.1
    Aberta
    • Algo errado?

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100

    runtimeverification/k#4872 ·

  • [K-Bug] Kompile silently allows files with the same name to exist in multiple include directories
    Aberta
    • Algo errado?

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

    runtimeverification/k#4847 ·

  • [Build Fail] for 6659639
    Aberta
    • Algo errado?

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 20/100

    runtimeverification/k#4806 ·

  • Automation analysis
    Aberta
    • Algo errado?

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100

    runtimeverification/k#4791 ·

  • [DevOps] Investigate MacOs Build from Source in K pipeline (backends & downstream)
    Aberta
    • Algo errado?

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    runtimeverification/k#4786 · 1 comentário ·

  • Add `preserves-definedness` to attributes recognized by pyk
    Talvez livre de novo Aberta
    • Algo errado?

    runtimeverification/k#4784 · 1 responsável ·

  • [K-Bug] LLVM Backend crash when comparing MInt
    Talvez livre de novo Aberta
    • Algo errado?

    runtimeverification/k#4760 · 1 responsável ·

  • Eliminate `Option` from `total` function result types
    Aberta
    • Algo errado?
    lean4-backend

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100

    runtimeverification/k#4756 ·

  • Remove `do` blocks from generated Lean code when possible
    Aberta
    • Algo errado?
    lean4-backend

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100

    runtimeverification/k#4755 ·

  • Support `unsafe` for `to_module`
    Talvez livre de novo Aberta
    • Algo errado?
    bug kast

    runtimeverification/k#4754 · 1 responsável ·

  • Unify definedness binders for function applications
    Aberta
    • Algo errado?
    lean4-backend

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

    runtimeverification/k#4752 ·

  • Format Lean 4 generated code
    Aberta
    • Algo errado?
    lean4-backend

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100

    runtimeverification/k#4747 · 1 comentário ·

  • Lean 4 backend improvements
    Aberta
    • Algo errado?
    lean4-backend

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

    runtimeverification/k#4743 ·

  • Cosmetic changes for the Lean 4 translation
    Aberta
    • Algo errado?
    lean4-backend

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100

    runtimeverification/k#4730 ·

  • Implement K prelude in Lean 4
    Aberta
    • Algo errado?
    lean4-backend

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    runtimeverification/k#4725 ·

  • Internal: bison returned nonzero exit code: 141, kompile not found
    Aberta
    • Algo errado?

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

    runtimeverification/k#4718 ·

  • [K-Bug] NullPointerException when kompiling simple file
    Aberta
    • Algo errado?

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 38/100

    runtimeverification/k#4716 ·

  • [K-Bug] Two configuration declarations in a single module produces an unhelpful error message
    Aberta
    • Algo errado?

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 38/100

    runtimeverification/k#4705 · 1 comentário ·

  • [K-Bug] ConcurrentModificationException while running kompile
    Aberta
    • Algo errado?

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100

    runtimeverification/k#4703 ·

  • Refactors to konvert and module_to_kore
    Aberta
    • Algo errado?

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    runtimeverification/k#4690 ·

  • [K-Bug] Cannot generate bison parser or glr-bison parser
    Aberta
    • Algo errado?

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100

    runtimeverification/k#4678 · 1 comentário ·

  • [K-Bug] The LLVM backend ignores rule priorities
    Aberta
    • Algo errado?

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

    runtimeverification/k#4676 ·

  • A difficult-to-reproduce segmentation fault.
    Aberta
    • Algo errado?
    bug

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100

    runtimeverification/k#4672 ·

  • Improved interpreter error messages for quicker error identification
    Aberta
    • Algo errado?
    enhancement llvm-backend

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    runtimeverification/k#4670 ·

  • `kdist` isn't as flexible as makefile
    Aberta
    • Algo errado?
    enhancement kdist

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

    runtimeverification/k#4669 · 2 comentários ·

  • Improve the performance of `kompile`
    Aberta
    • Algo errado?
    enhancement incremental-compilation kompile

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    runtimeverification/k#4668 · 2 comentários ·

  • [K-Bug] <pyk coverage runerror>
    Aberta
    • Algo errado?

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 42/100

    runtimeverification/k#4664 ·

  • Wrong type annotations in pyk
    Aberta
    • Algo errado?

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100

    runtimeverification/k#4660 ·

  • Understanding the `bmc-depth` bottleneck
    Aberta
    • Algo errado?
    enhancement

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

    runtimeverification/k#4658 · 1 reação ·

  • Tips for using K
    Talvez livre de novo Aberta
    • Algo errado?
    documentation

    runtimeverification/k#4655 · 1 responsável ·

  • Cell extraction and substitution in Kore.
    Aberta
    • Algo errado?
    enhancement pyk

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100

    runtimeverification/k#4652 ·

  • How to automatically generate the python bindings from the semantics?
    Aberta
    • Algo errado?

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

    runtimeverification/k#4649 ·

  • Polish list lookup patterns
    Aberta
    • Algo errado?
    enhancement kompile

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 30/100

    runtimeverification/k#4640 ·

  • [K-Bug] ClassCastException for #as and cells
    Aberta
    • Algo errado?

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

    runtimeverification/k#4638 ·

  • Remove final uses of `run_process`
    Aberta
    • Algo errado?

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

    runtimeverification/k#4627 ·

  • [K-Bug] AssertionError for incomplete rule
    Aberta
    • Algo errado?

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100

    runtimeverification/k#4613 ·

  • [K-Bug] Broken MInt literal parsing
    Aberta
    • Algo errado?

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100

    runtimeverification/k#4609 ·

  • Automatically verifying the correctness of simplification rules.
    Aberta
    • Algo errado?

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 30/100

    runtimeverification/k#4604 · 2 comentários ·

  • Check that tokens are non-empty after `#Layout`
    Aberta
    • Algo errado?

    Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100

    runtimeverification/k#4595 ·

  • [K-Bug] Broken "Non-exhausive match" warning
    Aberta
    • Algo errado?

    Dificuldade 3/5 1-2 dias Facilidade para iniciantes 48/100

    runtimeverification/k#4587 ·

  • Support for syntactic simplifications
    Aberta
    • Algo errado?
    enhancement

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100

    runtimeverification/k#4579 · 21 comentários ·

  • [K-Improvement] Metadata attribute
    Aberta
    • Algo errado?

    Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100

    runtimeverification/k#4568 ·

Mostrando os 100 mais recentes

Esta página lista apenas o que foi indexado mais recentemente. O filtro avançado tem o inventário completo, refinado por linguagem, dificuldade e duração.

Abrir o filtro avançado

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.