runtimeverification/k

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

• Introduce composable symbolic execution interface in pyx

  再び着手できるかも @Stevengre が 98 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  runtimeverification/k#4939 · 担当者 1 名 · 2026年6月24日 に作成

• Concolic Explorer

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 32/100

  runtimeverification/k#4937 · 2026年6月18日 に作成

• All-path reachability proof checker

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 30/100

  runtimeverification/k#4936 · 2026年6月18日 に作成

• Accelerating all-path reachability proofs with one-path reachability proofs

  再び着手できるかも @Stevengre が 103 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  type:epic

  runtimeverification/k#4934 · コメント 4 件 · 担当者 1 名 · 2026年6月15日 に作成

• Support progressive depth halving as a generic policy in `Prover.advance_proof`

  再び着手できるかも @Stevengre が 123 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  runtimeverification/k#4924 · 担当者 1 名 · 2026年5月29日 に作成

• non-evaluator attribute requires manual propagation across entire call chain

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  area:haskell-backend area:llvm-backend priority:p2 status:icebox type:feature

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  runtimeverification/k#4904 · 2026年3月17日 に作成

• UX improvements for `section_edge`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  runtimeverification/k#4897 · 2026年1月8日 に作成

• Upgrade github action linter and fix issues

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 45/100

  runtimeverification/k#4887 · 2025年12月13日 に作成

• Kompile error on MacOS Sequoia 15.7.1

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 25/100

  runtimeverification/k#4872 · 2025年10月18日 に作成

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

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  runtimeverification/k#4847 · 2025年7月31日 に作成

• [Build Fail] for 6659639

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 20/100

  runtimeverification/k#4806 · 2025年5月5日 に作成

• Automation analysis

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 15/100

  runtimeverification/k#4791 · 2025年4月8日 に作成

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

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  runtimeverification/k#4786 · コメント 1 件 · 2025年4月3日 に作成

• Add `preserves-definedness` to attributes recognized by pyk

  再び着手できるかも @palinatolmach が 545 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  runtimeverification/k#4784 · 担当者 1 名 · 2025年4月2日 に作成

• [K-Bug] LLVM Backend crash when comparing MInt

  再び着手できるかも @dwightguth が 575 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  runtimeverification/k#4760 · 担当者 1 名 · 2025年3月3日 に作成

• Eliminate `Option` from `total` function result types

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  lean4-backend

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  runtimeverification/k#4756 · 2025年2月12日 に作成

• Remove `do` blocks from generated Lean code when possible

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  lean4-backend

  難易度 4/5 3〜5日 初心者へのやさしさ 38/100

  runtimeverification/k#4755 · 2025年2月12日 に作成

• Support `unsafe` for `to_module`

  再び着手できるかも @Stevengre が 597 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug kast

  runtimeverification/k#4754 · 担当者 1 名 · 2025年2月10日 に作成

• Unify definedness binders for function applications

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  lean4-backend

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  runtimeverification/k#4752 · 2025年2月4日 に作成

• Format Lean 4 generated code

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  lean4-backend

  難易度 4/5 3〜5日 初心者へのやさしさ 25/100

  runtimeverification/k#4747 · コメント 1 件 · 2025年1月24日 に作成

• Lean 4 backend improvements

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  lean4-backend

  難易度 5/5 1週間以上 初心者へのやさしさ 20/100

  runtimeverification/k#4743 · 2025年1月21日 に作成

• Cosmetic changes for the Lean 4 translation

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  lean4-backend

  難易度 3/5 1〜2日 初心者へのやさしさ 35/100

  runtimeverification/k#4730 · 2025年1月8日 に作成

• Implement K prelude in Lean 4

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  lean4-backend

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  runtimeverification/k#4725 · 2025年1月8日 に作成

• Internal: bison returned nonzero exit code: 141, kompile not found

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  runtimeverification/k#4718 · 2025年1月2日 に作成

• [K-Bug] NullPointerException when kompiling simple file

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 38/100

  runtimeverification/k#4716 · 2024年12月19日 に作成

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

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 38/100

  runtimeverification/k#4705 · コメント 1 件 · 2024年12月9日 に作成

• [K-Bug] ConcurrentModificationException while running kompile

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  runtimeverification/k#4703 · 2024年12月5日 に作成

• Refactors to konvert and module_to_kore

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  runtimeverification/k#4690 · 2024年11月21日 に作成

• [K-Bug] Cannot generate bison parser or glr-bison parser

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 35/100

  runtimeverification/k#4678 · コメント 1 件 · 2024年10月31日 に作成

• [K-Bug] The LLVM backend ignores rule priorities

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  runtimeverification/k#4676 · 2024年10月25日 に作成

• A difficult-to-reproduce segmentation fault.

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug

  難易度 5/5 1週間以上 初心者へのやさしさ 15/100

  runtimeverification/k#4672 · 2024年10月21日 に作成

• Improved interpreter error messages for quicker error identification

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement llvm-backend

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  runtimeverification/k#4670 · 2024年10月18日 に作成

• `kdist` isn't as flexible as makefile

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement kdist

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  runtimeverification/k#4669 · コメント 2 件 · 2024年10月18日 に作成

• Improve the performance of `kompile`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement incremental-compilation kompile

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  runtimeverification/k#4668 · コメント 2 件 · 2024年10月18日 に作成

• [K-Bug] <pyk coverage runerror>

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 42/100

  runtimeverification/k#4664 · 2024年10月17日 に作成

• Wrong type annotations in pyk

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 45/100

  runtimeverification/k#4660 · 2024年10月13日 に作成

• Understanding the `bmc-depth` bottleneck

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  runtimeverification/k#4658 · リアクション 1 件 · 2024年10月9日 に作成

• Tips for using K

  再び着手できるかも @Stevengre が 725 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  documentation

  runtimeverification/k#4655 · 担当者 1 名 · 2024年10月4日 に作成

• Cell extraction and substitution in Kore.

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement pyk

  難易度 5/5 1週間以上 初心者へのやさしさ 15/100

  runtimeverification/k#4652 · 2024年10月2日 に作成

• How to automatically generate the python bindings from the semantics?

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  runtimeverification/k#4649 · 2024年9月25日 に作成

• Polish list lookup patterns

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement kompile

  難易度 5/5 1週間以上 初心者へのやさしさ 30/100

  runtimeverification/k#4640 · 2024年9月17日 に作成

• [K-Bug] ClassCastException for #as and cells

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  runtimeverification/k#4638 · 2024年9月12日 に作成

• Remove final uses of `run_process`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  runtimeverification/k#4627 · 2024年9月6日 に作成

• [K-Bug] AssertionError for incomplete rule

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 45/100

  runtimeverification/k#4613 · 2024年8月30日 に作成

• [K-Bug] Broken MInt literal parsing

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 45/100

  runtimeverification/k#4609 · 2024年8月27日 に作成

• Automatically verifying the correctness of simplification rules.

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 30/100

  runtimeverification/k#4604 · コメント 2 件 · 2024年8月22日 に作成

• Check that tokens are non-empty after `#Layout`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  runtimeverification/k#4595 · 2024年8月20日 に作成

• [K-Bug] Broken "Non-exhausive match" warning

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 48/100

  runtimeverification/k#4587 · 2024年8月14日 に作成

• Support for syntactic simplifications

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  runtimeverification/k#4579 · コメント 21 件 · 2024年8月8日 に作成

• [K-Improvement] Metadata attribute

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  runtimeverification/k#4568 · 2024年8月2日 に作成