runtimeverification/evm-semantics

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

• Support EIP-7918 across BPO/blob-schedule transitions

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2879 · 2026年9月7日 创建

• Avoid `require` clause if the given patterns are known to be concrete

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2869 · 2026年6月24日 创建

• Investigate conformance tests running out of memory.

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2832 · 2025年12月16日 创建

• Update legacy-tests across test-suites

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2824 · 2025年12月11日 创建

• Symbolic Execution Slowdown with Summary Rules

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/evm-semantics#2789 · 已指派 1 人 · 2025年8月8日 创建

• EVM Opcode Summarization System Technical Report

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/evm-semantics#2778 · 已指派 1 人 · 2025年7月9日 创建

• Add dedicated SourceTarget to kdist

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2777 · 2025年7月9日 创建

• EVM Opcode Summarization System Development Report

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/evm-semantics#2776 · 已指派 1 人 · 2025年7月9日 创建

• Optimize the side conditions in the semantics to help the booster backend reasoning

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2736 · 2025年4月7日 创建

• Investigate unexpected branch splitting for some rules during opcode summarization.

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/evm-semantics#2731 · 已指派 1 人 · 2025年3月27日 创建

• Summarize all the EVM opcodes

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/evm-semantics#2705 · 2 条评论 · 已指派 1 人 · 2025年2月13日 创建

• Possible outdated `libstdc++-12-dev` dependency

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2678 · 2025年1月13日 创建

• When you cannot `kdist build evm-semantics.haskell`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2677 · 2025年1月7日 创建

• Unexpected behaviour in proving `sum-to-n-foundry-spec.k`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2617 · 7 条评论 · 2024年9月10日 创建

• using this semantics in Coq

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2552 · 2 条评论 · 2024年8月5日 创建

• Upstream symbolic bytes lemmas for CSE

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/evm-semantics#2476 · 已指派 1 人 · 2024年6月11日 创建

• Add Dencun upgrade changes

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/evm-semantics#2356 · 2 条评论 · 已指派 1 人 · 2024年3月13日 创建

• Investigate SMT timeout in `test-arithmetictest-test_wmul_wdiv_inverse_underflow-uint256-uint256-0-spec.k`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2314 · 2024年2月27日 创建

• Rule coverage and configuration well-formedness

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2291 · 1 条评论 · 2024年2月9日 创建

• `fast_check_subsumption` causes `Could not convert ML predicate to sort Bool` error

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2290 · 2024年2月9日 创建

• Default Behavior for Lemma File and Module Import in Kontrol

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2274 · 2024年1月25日 创建

• Fix warnings on non-exhaustive matches for rules

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2248 · 2 条评论 · 2024年1月10日 创建

• Segfaults on arm64 macOS

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2238 · 2024年1月8日 创建

• Kontrol does not `kup install` in system aarch64-linux

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2162 · 2023年11月8日 创建

• Docker CI build step too slow

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

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

  runtimeverification/evm-semantics#2150 · 1 条评论 · 已指派 1 人 · 2023年11月2日 创建

• `import inotify.adapters` does not work on M1 Mac

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2145 · 2023年10月30日 创建

• Bound env variables (`NUMBER`, `TIMESTAMP`) by reasonable values

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2143 · 3 条评论 · 2023年10月27日 创建

• Start K Server for CI tests

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2124 · 1 条评论 · 2023年10月19日 创建

• Rename `kevm-pyk` to `kevm`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2122 · 2023年10月19日 创建

• Issues running kclaim style proofs

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2088 · 5 条评论 · 2023年9月25日 创建

• Segmentation Fault Encountered While Generating a Proof

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2070 · 2023年9月14日 创建

• solc-select not integrating with kevm-pyk

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2061 · 2023年9月7日 创建

• `exec_run` and `exec_kast` take `save_directory` argument but the corresponding commands don't have those options

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2040 · 2023年8月24日 创建

• Cannot supply custom `--kore-rpc-command` to `kevm foundry-prove`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2033 · 2023年8月23日 创建

• Parallelize symbolic execution of tests

  可能重新可做 关联的 PR 已关闭且未合并。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#2009 · 2 条评论 · 2023年8月10日 创建

• Implement structural checkers for proofs

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1994 · 2 条评论 · 2023年8月4日 创建

• Show warning on proofs with loop-depth bounded nodes

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1973 · 2023年7月26日 创建

• Refactor `foundry_get_model` and `print_failure_info`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1955 · 2023年7月12日 创建

• Introduce verbosity levels for `foundry-kompile`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1950 · 2 条评论 · 2023年7月11日 创建

• Improvements to Kontrol UX

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1942 · 1 条评论 · 2023年7月6日 创建

• Factor out Dockerhub build and test stage into action

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1889 · 2023年6月5日 创建

• Discrepancy in `deps/k_release` and `deps/pyk_release` format

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1875 · 2 条评论 · 2023年5月31日 创建

• calling test contract from within test contract makes the proof fail

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1851 · 3 条评论 · 2023年5月24日 创建

• Implement vm.record cheat code

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1787 · 4 条评论 · 2023年4月28日 创建

• More guidance on where to continue execution

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1753 · 1 条评论 · 2023年4月20日 创建

• Automatically detect and warn user on bad branches

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1752 · 4 条评论 · 2023年4月20日 创建

• `foundry-list.check` Makefile rule erases `tests/foundry/out/ag_proofs`, which it relies on

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1741 · 2023年4月19日 创建

• Investigate creator and creator2 accounts in foundry

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1690 · 1 条评论 · 2023年4月4日 创建

• Reproducing proofs from LUKSO engagement

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1681 · 2 条评论 · 2023年4月3日 创建

• Conformance test failing list

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

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

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

  runtimeverification/evm-semantics#1671 · 2 条评论 · 2023年3月28日 创建