Investigate conformance tests running out of memory.

評価

調査の方向性

説明

These are skipped for now. There is a memory leak in the interpreter, causing OOM errors.

Originally posted by @anvacaru in https://github.com/runtimeverification/evm-semantics/pull/2831#discussion_r2623499973

環境構築

はじめの一歩

1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
3. リポジトリをフォークし、ブランチを切って変更します。
4. issue 番号を参照したプルリクエストを送ります。

runtimeverification/evm-semantics のほかの issue

• README setup instructions appear outdated

  オープン

  ⋯この Issue の問題を報告

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

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

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

  runtimeverification/evm-semantics#1190 · 2022年2月8日 に作成

• 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日 に作成

• 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 が 451 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

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

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

  runtimeverification/evm-semantics#2789 · 担当者 1 名 · 2025年8月8日 に作成

runtimeverification/evm-semantics の issue をすべて見る

似ている issue

• vxc --print-ast: a number prints as `Number(0Some(I32))`, and a type as `Scalar(I32)`

  オープン

  ⋯この Issue の問題を報告

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

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

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

  vx-lang/Vx#2516 · 2026年11月2日 に作成

  メンテナーはふだん 1 日以内に返信

• map 转列表的 core 函数保留 Tuple K V / Keep Tuple K V in core map-to-list functions

  オープン

  ⋯この Issue の問題を報告

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

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

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

  calcit-lang/calcit#2538 · 2026年11月2日 に作成

  メンテナーはふだん 1 日以内に返信

• Anomaly "Uncaught exception Failure("empty token.")." with Ltac2 Notation "" and with a whitespace-only string in Tactic Notation

  オープン

  ⋯この Issue の問題を報告

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

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

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

  rocq-prover/rocq#22695 · 2026年11月1日 に作成

  メンテナーはふだん 1 日以内に返信

• [P2] Interpreter: structuredClone rejects BigInt primitives

  オープン

  ⋯この Issue の問題を報告

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

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

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

  nickna/SharpTS#3444 · 2026年11月1日 に作成

  メンテナーはふだん 1 日以内に返信

• Underscore does not work as expected

  オープン

  ⋯この Issue の問題を報告

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

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

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

  PRQL/prql#6518 · コメント 1 件 · 2026年11月1日 に作成

  メンテナーはふだん 3 日以内に返信

Compilers の issue をもっと見る