runtimeverification/llvm-backend

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

• Fix for building with later versions of g++

  オープン

  ⋯この Issue の問題を報告

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

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

  難易度 1/5 1時間未満 初心者へのやさしさ 84/100

  runtimeverification/llvm-backend#1221 · コメント 1 件 · 2026年8月8日 に作成

• Abort when trying to execute a hook that is not implemented

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1211 · 2025年7月15日 に作成

• GC-BUG: Execution aborts while collecting old generation when using `free_all_kore_mem` in a few tests.

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1204 · 2025年4月10日 に作成

• mmap() and demand paging experiments

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1196 · 2025年1月23日 に作成

• CMake fix for Mac building

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1181 · コメント 3 件 · 2024年12月9日 に作成

• Ill-sorted injection casues unpredicatable behavior

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1171 · 2024年11月29日 に作成

• kore-proof-trace should print the rules from domains.md, as well

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1124 · 2024年8月1日 に作成

• GDB support broken in minimal docker container

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1113 · コメント 4 件 · 2024年7月22日 に作成

• binary serializer (v1) does not correctly handle parametric symbols

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1106 · 2024年7月10日 に作成

• Add Nix information from K readme here

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1099 · 2024年7月3日 に作成

• pybind11 raises a `UnicodeDecodeError` on non-utf bytes in terms of sort `Bytes`

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

  ⋯この Issue の問題を報告

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

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

  runtimeverification/llvm-backend#1078 · コメント 1 件 · 担当者 1 名 · 2024年5月31日 に作成

• Recreate llvm-backend gcroots code on develop branch

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

  ⋯この Issue の問題を報告

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

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

  runtimeverification/llvm-backend#1077 · コメント 2 件 · 担当者 1 名 · 2024年5月31日 に作成

• Generate sphinx documentation for python bindings

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1042 · リアクション 2 件 · 2024年5月6日 に作成

• Experiment on axiom pattern formats

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1017 · 2024年3月20日 に作成

• [K-Bug] Setting subject in debugging

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1015 · コメント 1 件 · 2024年3月13日 に作成

• Decide on and enforce house C++ style

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#994 · コメント 2 件 · 2024年2月23日 に作成

• Automate regeneration of test cases

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#987 · コメント 3 件 · 2024年2月16日 に作成

• Deep dive notes

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#965 · 2024年1月31日 に作成

• `evaluate_function` followed by `Term.step` causes segmentation fault

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#943 · コメント 2 件 · 2023年12月20日 に作成

• Set macOS SDK version explicitly in CMake

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#942 · 2023年12月20日 に作成

• [K-Bug] `k start` in llvm gdb gives "Cannot access memory at address"

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1018 · コメント 1 件 · 2023年12月5日 に作成

• Finish migrating C bindings to core bindings library

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#900 · 2023年11月22日 に作成

• [GDB] Create script and tests for GDB to run in CI

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

  ⋯この Issue の問題を報告

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

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

  runtimeverification/llvm-backend#840 · コメント 2 件 · 担当者 1 名 · 2023年9月28日 に作成

• Rethink lookup of `clang-$VERSION` in CMake

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#808 · 2023年7月20日 に作成

• Range maps printing

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#806 · 2023年7月18日 に作成

• `MInt` syntax with no uses of `Int2MInt` crashes

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#798 · コメント 2 件 · 2023年7月11日 に作成

• LLVM backend failing to evaluate function

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#788 · コメント 4 件 · 2023年6月26日 に作成

• Ideas for improving granularity of garbage collection (gc)

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#749 · コメント 5 件 · 2023年4月27日 に作成

• [GDB] Can't print builtin types on LHS of rules in `K Match`

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#746 · コメント 16 件 · 2023年4月20日 に作成

• [GDB] MatchLog enum kind raises `TypeError` when printed

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#726 · コメント 1 件 · 2023年4月4日 に作成

• Add global lock to GC

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#705 · 2023年3月16日 に作成

• LLVM-Backend Generated Interpreter C API Documentation

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#692 · コメント 4 件 · 2023年3月7日 に作成

• Buggy decision tree generated in case involving overloads

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#676 · コメント 1 件 · 2023年2月28日 に作成

• Improve LLVM backend documentation

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#621 · 2023年1月9日 に作成

• [Bug] [kompile] - kompile emits a "Non exhaustive match detected" warning for a seemingly sufficiently complete function definition

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#495 · コメント 6 件 · 2022年3月8日 に作成

• [Bug] [kompile] - Failure to match variable in depth 2 context after substitution

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#467 · コメント 1 件 · 2021年8月30日 に作成

• Duplications between llvm-backend and blockchain-k-plugin

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#383 · コメント 2 件 · 2020年12月11日 に作成

• Remove duplication of metadata between kast.k and kprint

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#336 · コメント 3 件 · 2020年5月15日 に作成

• generalize gc generations and thresholds

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#311 · 2020年3月31日 に作成

• Support [memo] attribute

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#247 · コメント 5 件 · 2019年10月8日 に作成

• Performance overhead in proof_trace_callback_writer

  対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/llvm-backend#1197 · コメント 1 件 · 2025年1月31日 に作成