runtimeverification/evm-semantics

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

• 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

• Investigate conformance tests running out of memory.

  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#2832 · Abierto el 16/12/2025

• 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 417 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

• EVM Opcode Summarization System Technical Report

  Quizá libre de nuevo @Stevengre la tomó hace 447 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
  documentation

  runtimeverification/evm-semantics#2778 · 1 asignado · Abierto el 9/7/2025

• Add dedicated SourceTarget to kdist

  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 42/100

  runtimeverification/evm-semantics#2777 · Abierto el 9/7/2025

• EVM Opcode Summarization System Development Report

  Quizá libre de nuevo @Stevengre la tomó hace 447 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
  documentation

  runtimeverification/evm-semantics#2776 · 1 asignado · Abierto el 9/7/2025

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

  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
  enhancement

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

  runtimeverification/evm-semantics#2736 · Abierto el 7/4/2025

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

  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#2731 · 1 asignado · Abierto el 27/3/2025

• Summarize all the EVM opcodes

  Quizá libre de nuevo @Stevengre la tomó hace 593 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
  enhancement

  runtimeverification/evm-semantics#2705 · 2 comentarios · 1 asignado · Abierto el 13/2/2025

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

  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
  bug

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

  runtimeverification/evm-semantics#2678 · Abierto el 13/1/2025

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

  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 45/100

  runtimeverification/evm-semantics#2677 · Abierto el 7/1/2025

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

  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
  bug

  Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

  runtimeverification/evm-semantics#2617 · 7 comentarios · Abierto el 10/9/2024

• using this semantics in Coq

  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 5/5 Más de una semana Aptitud para principiantes 20/100

  runtimeverification/evm-semantics#2552 · 2 comentarios · Abierto el 5/8/2024

• Upstream symbolic bytes lemmas for CSE

  Quizá libre de nuevo @palinatolmach la tomó hace 600 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#2476 · 1 asignado · Abierto el 11/6/2024

• Add Dencun upgrade changes

  Quizá libre de nuevo @anvacaru la tomó hace 825 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#2356 · 2 comentarios · 1 asignado · Abierto el 13/3/2024

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

  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
  enhancement

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

  runtimeverification/evm-semantics#2314 · Abierto el 27/2/2024

• Rule coverage and configuration well-formedness

  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
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  runtimeverification/evm-semantics#2291 · 1 comentario · Abierto el 9/2/2024

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

  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
  bug

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

  runtimeverification/evm-semantics#2290 · Abierto el 9/2/2024

• Default Behavior for Lemma File and Module Import in Kontrol

  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
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

  runtimeverification/evm-semantics#2274 · Abierto el 25/1/2024

• Fix warnings on non-exhaustive matches for rules

  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
  kevm

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

  runtimeverification/evm-semantics#2248 · 2 comentarios · Abierto el 10/1/2024

• Segfaults on arm64 macOS

  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 5/5 Más de una semana Aptitud para principiantes 15/100

  runtimeverification/evm-semantics#2238 · Abierto el 8/1/2024

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

  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
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  runtimeverification/evm-semantics#2162 · Abierto el 8/11/2023

• Docker CI build step too slow

  Quizá libre de nuevo @ehildenb la tomó hace 1061 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#2150 · 1 comentario · 1 asignado · Abierto el 2/11/2023

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

  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
  bug

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

  runtimeverification/evm-semantics#2145 · Abierto el 30/10/2023

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

  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
  enhancement

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

  runtimeverification/evm-semantics#2143 · 3 comentarios · Abierto el 27/10/2023

• Start K Server for CI tests

  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#2124 · 1 comentario · Abierto el 19/10/2023

• Rename `kevm-pyk` to `kevm`

  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
  cli enhancement

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

  runtimeverification/evm-semantics#2122 · Abierto el 19/10/2023

• Issues running kclaim style proofs

  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
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

  runtimeverification/evm-semantics#2088 · 5 comentarios · Abierto el 25/9/2023

• Segmentation Fault Encountered While Generating a Proof

  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 5/5 Más de una semana Aptitud para principiantes 25/100

  runtimeverification/evm-semantics#2070 · Abierto el 14/9/2023

• solc-select not integrating with kevm-pyk

  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 3/5 1-2 días Aptitud para principiantes 35/100

  runtimeverification/evm-semantics#2061 · Abierto el 7/9/2023

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

  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
  bug

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

  runtimeverification/evm-semantics#2040 · Abierto el 24/8/2023

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

  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
  bug cli

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

  runtimeverification/evm-semantics#2033 · Abierto el 23/8/2023

• Parallelize symbolic execution of tests

  Quizá libre de nuevo Un pull request para esta issue se cerró sin fusionarse. 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
  engagement enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

  runtimeverification/evm-semantics#2009 · 2 comentarios · Abierto el 10/8/2023

• Implement structural checkers for proofs

  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
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  runtimeverification/evm-semantics#1994 · 2 comentarios · Abierto el 4/8/2023

• Show warning on proofs with loop-depth bounded nodes

  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
  enhancement

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

  runtimeverification/evm-semantics#1973 · Abierto el 26/7/2023

• Refactor `foundry_get_model` and `print_failure_info`

  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
  enhancement

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

  runtimeverification/evm-semantics#1955 · Abierto el 12/7/2023

• Introduce verbosity levels for `foundry-kompile`

  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 3/5 1-2 días Aptitud para principiantes 35/100

  runtimeverification/evm-semantics#1950 · 2 comentarios · Abierto el 11/7/2023

• Improvements to Kontrol UX

  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 5/5 Más de una semana Aptitud para principiantes 25/100

  runtimeverification/evm-semantics#1942 · 1 comentario · Abierto el 6/7/2023

• Factor out Dockerhub build and test stage into action

  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
  enhancement

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

  runtimeverification/evm-semantics#1889 · Abierto el 5/6/2023

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

  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 3/5 1-2 días Aptitud para principiantes 35/100

  runtimeverification/evm-semantics#1875 · 2 comentarios · Abierto el 31/5/2023

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

  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#1851 · 3 comentarios · Abierto el 24/5/2023

• Implement vm.record cheat code

  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
  enhancement

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

  runtimeverification/evm-semantics#1787 · 4 comentarios · Abierto el 28/4/2023

• More guidance on where to continue execution

  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
  enhancement

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

  runtimeverification/evm-semantics#1753 · 1 comentario · Abierto el 20/4/2023

• Automatically detect and warn user on bad branches

  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
  enhancement

  Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

  runtimeverification/evm-semantics#1752 · 4 comentarios · Abierto el 20/4/2023

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

  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
  enhancement

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

  runtimeverification/evm-semantics#1741 · Abierto el 19/4/2023

• Investigate creator and creator2 accounts in foundry

  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#1690 · 1 comentario · Abierto el 4/4/2023

• Reproducing proofs from LUKSO engagement

  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#1681 · 2 comentarios · Abierto el 3/4/2023

• Conformance test failing list

  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
  kevm

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

  runtimeverification/evm-semantics#1671 · 2 comentarios · Abierto el 28/3/2023