runtimeverification/haskell-backend

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

• List matcher treats a symbolic List frame as an element, allowing false proofs

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 2/5 1-3 小时 新手友好度 88/100

  runtimeverification/haskell-backend#4161 · 2026年9月27日 创建

• Booster: Optimize KMap internal data structure to improve Map operation performance

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/haskell-backend#4138 · 9 条评论 · 已指派 1 人 · 2026年2月23日 创建

• kore simplification logs not using rule labels

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 3/5 1-2 天 新手友好度 48/100

  runtimeverification/haskell-backend#4122 · 2025年8月21日 创建

• Booster Map matching deficiency

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 38/100

  runtimeverification/haskell-backend#4121 · 2025年8月21日 创建

• Adjust booster to LLVM API (rename munmap function)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 2/5 1-3 小时 新手友好度 35/100

  runtimeverification/haskell-backend#4116 · 2025年7月2日 创建

• Backend fails to simplify complex shift expressions with bitwise AND operations

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 35/100

  runtimeverification/haskell-backend#4112 · 2 条评论 · 2025年6月17日 创建

• Evaluate `sat.smt=true` option for z3

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/haskell-backend#4089 · 已指派 1 人 · 2025年1月28日 创建

• Booster's simplifier is unable to prune a `#Bottom` state

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/haskell-backend#4067 · 1 条评论 · 已指派 1 人 · 2024年10月29日 创建

• Use smart `Pattern` constructor throughout the code

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 35/100

  runtimeverification/haskell-backend#4065 · 2024年10月23日 创建

• Add a lightweight check for `requires` of equations when matching is indeterminate

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 35/100

  runtimeverification/haskell-backend#4053 · 2024年9月27日 创建

• Dynamic prelude

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/haskell-backend#4034 · 4 条评论 · 2024年8月14日 创建

• `booster-dev` crashes on simple test

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 42/100

  runtimeverification/haskell-backend#4023 · 1 条评论 · 2024年8月8日 创建

• Make the `"simplify`" endpoint in Booster evaluate inconsisten predicates and patterns to `#Bottom`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 35/100

  runtimeverification/haskell-backend#4012 · 2024年8月1日 创建

• Run `test-prove-functional` as part of `performance-test-kevm.sh`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 2/5 1-3 小时 新手友好度 45/100

  runtimeverification/haskell-backend#4005 · 2024年7月29日 创建

• Extend log processing tools to quantify _phases_ of execution

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/haskell-backend#3994 · 2024年7月24日 创建

• Implies request (from kontrol) taking 1h to process

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/haskell-backend#3990 · 已指派 1 人 · 2024年7月22日 创建

• Modify performance scripts to run with sequential prover

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 2/5 1-3 小时 新手友好度 35/100

  runtimeverification/haskell-backend#3972 · 2024年7月9日 创建

• Compute remainders in booster

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/haskell-backend#3956 · 2024年6月21日 创建

• Reasoning about remainders

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/haskell-backend#3948 · 3 条评论 · 2024年6月18日 创建

• Investigate the background of #3917 (injections and SMT)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 30/100

  runtimeverification/haskell-backend#3920 · 2024年6月5日 创建

• Make SMT timeout increase strategy configurable

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 3/5 1-2 天 新手友好度 35/100

  runtimeverification/haskell-backend#3910 · 2024年5月31日 创建

• Enable using `cvc5` SMT solver in Kore

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 38/100

  runtimeverification/haskell-backend#3905 · 2 条评论 · 2024年5月28日 创建

• Treat all terms of sort `Bool` as `Predicate` in `"get-model"`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 3/5 1-2 天 新手友好度 35/100

  runtimeverification/haskell-backend#3903 · 2024年5月27日 创建

• Create a profiler leveraging the contextual logging

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/haskell-backend#3888 · 3 条评论 · 2024年5月22日 创建

• Add "hard" integration test for Booster's SMT solver interface

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 3/5 1-2 天 新手友好度 45/100

  runtimeverification/haskell-backend#3887 · 2024年5月22日 创建

• Non-terminating simplifications

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 30/100

  runtimeverification/haskell-backend#3873 · 1 条评论 · 2024年5月15日 创建

• Remove `log-failed-rewrites` "execute" request parameter

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 3/5 1-2 天 新手友好度 35/100

  runtimeverification/haskell-backend#3872 · 2024年5月15日 创建

• Extend definedness analysis to equations and output results in user-friendly way

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/haskell-backend#3868 · 已指派 1 人 · 2024年5月15日 创建

• Improving pre-SMT reasoning capabilities

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/haskell-backend#3861 · 8 条评论 · 2024年5月14日 创建

• Improve implication endpoint in booster

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/haskell-backend#3854 · 2 条评论 · 2024年5月9日 创建

• Booster: Add internalised representations for Int and Bool

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 35/100

  runtimeverification/haskell-backend#3848 · 2024年5月3日 创建

• New command `kore-load` for computing needed issues with definitions

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/haskell-backend#3840 · 2024年5月1日 创建

• Branch returned although one of the next states simplifies to #bottom

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/haskell-backend#3764 · 2 条评论 · 已指派 1 人 · 2024年4月10日 创建

• Flaky behavior on `simplify` endpoint

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 30/100

  runtimeverification/haskell-backend#3761 · 1 条评论 · 2024年4月9日 创建

• Collect #Ceil conditions introduced by equations with partial functions

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  runtimeverification/hs-backend-booster

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

  runtimeverification/haskell-backend#3780 · 1 条评论 · 2024年3月14日 创建

• Collect Ceil conditions from rewriting with rules that do not preserve definedness

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  runtimeverification/hs-backend-booster

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

  runtimeverification/haskell-backend#3779 · 2024年3月14日 创建

• Invalid variable names created by internalized rules

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug runtimeverification/hs-backend-booster

  runtimeverification/haskell-backend#3777 · 3 条评论 · 已指派 2 人 · 2024年3月11日 创建

• Ceil simplifier in booster

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  runtimeverification/hs-backend-booster

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

  runtimeverification/haskell-backend#3773 · 2 条评论 · 2024年3月6日 创建

• Use exit codes for failures at server startup

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  runtimeverification/hs-backend-booster

  难度 4/5 3-5 天 新手友好度 38/100

  runtimeverification/haskell-backend#3768 · 2024年2月22日 创建

• Experiment to evaluate concrete terms in booster instead of llvm library

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  runtimeverification/hs-backend-booster

  runtimeverification/haskell-backend#3767 · 3 条评论 · 已指派 1 人 · 2024年2月21日 创建

• Discussion of "overload" feature in K and whether to support it

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  runtimeverification/hs-backend-booster

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

  runtimeverification/haskell-backend#3796 · 3 条评论 · 2024年2月2日 创建

• Consider adding no-junk and no-confusion axioms to SMT prelude

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  runtimeverification/hs-backend-booster

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

  runtimeverification/haskell-backend#3789 · 1 条评论 · 2024年1月16日 创建

• Backend gets stuck applying `#Ceil` rule for Maps

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/haskell-backend#3703 · 1 条评论 · 2023年12月12日 创建

• Attempt rules not preserving definedness when configuration is concrete

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  runtimeverification/hs-backend-booster

  难度 4/5 3-5 天 新手友好度 30/100

  runtimeverification/haskell-backend#3774 · 2023年12月8日 创建

• Constraints with an existential variable produced by `kmxwasm` cannot be internalised by Booster

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  runtimeverification/hs-backend-booster

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

  runtimeverification/haskell-backend#3766 · 1 条评论 · 2023年11月24日 创建

• Set simplification lemmas appear to cause slowdown

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 38/100

  runtimeverification/haskell-backend#3693 · 2023年11月7日 创建

• Adjust documentation for kore-syntax and kore-JSON to multi-ary and/or

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 3/5 1-2 天 新手友好度 35/100

  runtimeverification/haskell-backend#3680 · 1 条评论 · 2023年10月17日 创建

• Add a hook for `KRYPTO.bn128valid`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 25/100

  runtimeverification/haskell-backend#3674 · 2023年10月10日 创建

• Lemma with an `ensures` clause is not being applied

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  难度 4/5 3-5 天 新手友好度 35/100

  runtimeverification/haskell-backend#3669 · 8 条评论 · 2023年10月3日 创建

• Handle substitutions in Booster directly

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  runtimeverification/hs-backend-booster

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

  runtimeverification/haskell-backend#3781 · 2023年9月7日 创建