Investigate conformance tests running out of memory.

Evaluación

Línea de trabajo

Descripción

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

Preparar el entorno

Primeros pasos

1. Lee el issue completo y luego la guía de contribución del proyecto.
2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
3. Haz un fork del repositorio y trabaja en una rama.
4. Abre un pull request que haga referencia al número del issue.

Más de runtimeverification/evm-semantics

• README setup instructions appear outdated

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 1/5 Menos de una hora Aptitud para principiantes 78/100

  runtimeverification/evm-semantics#1190 · Abierto el 8/2/2022

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

  runtimeverification/evm-semantics#2879 · Abierto el 7/9/2026

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/evm-semantics#2869 · Abierto el 24/6/2026

• Update legacy-tests across test-suites

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

  runtimeverification/evm-semantics#2824 · Abierto el 11/12/2025

• Symbolic Execution Slowdown with Summary Rules

  Quizá libre de nuevo @Stevengre la tomó hace 452 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  runtimeverification/evm-semantics#2789 · 1 asignado · Abierto el 8/8/2025

Todos los issues de runtimeverification/evm-semantics

Issues similares

• prelude: f16 and bf16 have no toString() (templates and String() work)

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100

  velt-lang/velt#2170 · Abierto el 3/11/2026

  Los mantenedores suelen responder en 1 día

• Native tsc: merge conflict markers after U+2028/U+2029 are not recognized (false TS1109 instead of TS1185)

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  Won't Fix

  Dificultad 2/5 1-3 horas Aptitud para principiantes 62/100

  microsoft/TypeScript#65107 · 1 comentario · Abierto el 2/11/2026

  Los mantenedores suelen responder en 1 día

• SqlDialect drops PARTITION BY / ORDER BY of a window specification that references an existing window

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 62/100

  partiql/partiql-lang-kotlin#1987 · Abierto el 2/11/2026

  Los mantenedores suelen responder en 3 días

• `color-mix(var(--color-red-500))` crashes the build with `Cannot read properties of undefined (reading 'kind')`

  Posiblemente ocupada @zerotohero3 la tomó hoy. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 80/100

  tailwindlabs/tailwindcss#20657 · Abierto el 2/11/2026

  Los mantenedores suelen responder en 1 día

• Duplicate IMPLICIT NONE statement is accepted without --implicit-typing

  Posiblemente ocupada Un pull request vinculado a esta issue está abierto o ya se fusionó. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100

  lfortran/lfortran#16596 · Abierto el 2/11/2026

  Los mantenedores suelen responder en 1 día

Más issues de Compilers