runtimeverification/llvm-backend

可能已有人在做的 issue 排在最后。 全部按时间排序

• 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 一周以上 新手友好度 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 于 846 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bindings

  runtimeverification/llvm-backend#1078 · 1 条评论 · 已指派 1 人 · 2024年5月31日 创建

• Recreate llvm-backend gcroots code on develop branch

  可能重新可做 @theo25 于 674 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  runtimeverification/llvm-backend#1077 · 2 条评论 · 已指派 1 人 · 2024年5月31日 创建

• Generate sphinx documentation for python bindings

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 25/100

  runtimeverification/llvm-backend#1042 · 2 个 reaction · 2024年5月6日 创建

• Experiment on axiom pattern formats

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 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 一周以上 新手友好度 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 一周以上 新手友好度 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 于 1098 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 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 一周以上 新手友好度 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 一周以上 新手友好度 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 一周以上 新手友好度 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 一周以上 新手友好度 20/100

  runtimeverification/llvm-backend#383 · 2 条评论 · 2020年12月11日 创建

• Remove duplication of metadata between kast.k and kprint

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 20/100

  runtimeverification/llvm-backend#336 · 3 条评论 · 2020年5月15日 创建

• generalize gc generations and thresholds

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 25/100

  runtimeverification/llvm-backend#311 · 2020年3月31日 创建

• Support [memo] attribute

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 35/100

  runtimeverification/llvm-backend#247 · 5 条评论 · 2019年10月8日 创建

• Performance overhead in proof_trace_callback_writer

  可能已有人在做 关联的 PR 仍在进行中或已合并。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 25/100

  runtimeverification/llvm-backend#1197 · 1 条评论 · 2025年1月31日 创建