runtimeverification/evm-semantics

Les issues sur lesquelles quelqu’un travaille peut-être déjà sont listées en dernier. Tout trier par date

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 45/100

  runtimeverification/evm-semantics#2879 · Ouverte le 7/9/2026

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#2869 · Ouverte le 24/6/2026

• Investigate conformance tests running out of memory.

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#2832 · Ouverte le 16/12/2025

• Update legacy-tests across test-suites

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 30/100

  runtimeverification/evm-semantics#2824 · Ouverte le 11/12/2025

• Symbolic Execution Slowdown with Summary Rules

  Peut-être à nouveau libre @Stevengre l’a pris il y a 417 jours, et aucune pull request n’est ouverte. Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  runtimeverification/evm-semantics#2789 · 1 personne assignée · Ouverte le 8/8/2025

• EVM Opcode Summarization System Technical Report

  Peut-être à nouveau libre @Stevengre l’a pris il y a 447 jours, et aucune pull request n’est ouverte. Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  documentation

  runtimeverification/evm-semantics#2778 · 1 personne assignée · Ouverte le 9/7/2025

• Add dedicated SourceTarget to kdist

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 42/100

  runtimeverification/evm-semantics#2777 · Ouverte le 9/7/2025

• EVM Opcode Summarization System Development Report

  Peut-être à nouveau libre @Stevengre l’a pris il y a 447 jours, et aucune pull request n’est ouverte. Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  documentation

  runtimeverification/evm-semantics#2776 · 1 personne assignée · Ouverte le 9/7/2025

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#2736 · Ouverte le 7/4/2025

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  runtimeverification/evm-semantics#2731 · 1 personne assignée · Ouverte le 27/3/2025

• Summarize all the EVM opcodes

  Peut-être à nouveau libre @Stevengre l’a pris il y a 593 jours, et aucune pull request n’est ouverte. Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  runtimeverification/evm-semantics#2705 · 2 commentaires · 1 personne assignée · Ouverte le 13/2/2025

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug

  Difficulté 2/5 1-3 heures Accessibilité débutants 55/100

  runtimeverification/evm-semantics#2678 · Ouverte le 13/1/2025

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 2/5 1-3 heures Accessibilité débutants 45/100

  runtimeverification/evm-semantics#2677 · Ouverte le 7/1/2025

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

  runtimeverification/evm-semantics#2617 · 7 commentaires · Ouverte le 10/9/2024

• using this semantics in Coq

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

  runtimeverification/evm-semantics#2552 · 2 commentaires · Ouverte le 5/8/2024

• Upstream symbolic bytes lemmas for CSE

  Peut-être à nouveau libre @palinatolmach l’a pris il y a 600 jours, et aucune pull request n’est ouverte. Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  runtimeverification/evm-semantics#2476 · 1 personne assignée · Ouverte le 11/6/2024

• Add Dencun upgrade changes

  Peut-être à nouveau libre @anvacaru l’a pris il y a 826 jours, et aucune pull request n’est ouverte. Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  runtimeverification/evm-semantics#2356 · 2 commentaires · 1 personne assignée · Ouverte le 13/3/2024

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

  runtimeverification/evm-semantics#2314 · Ouverte le 27/2/2024

• Rule coverage and configuration well-formedness

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/evm-semantics#2291 · 1 commentaire · Ouverte le 9/2/2024

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug

  Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

  runtimeverification/evm-semantics#2290 · Ouverte le 9/2/2024

• Default Behavior for Lemma File and Module Import in Kontrol

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

  runtimeverification/evm-semantics#2274 · Ouverte le 25/1/2024

• Fix warnings on non-exhaustive matches for rules

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  kevm

  Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#2248 · 2 commentaires · Ouverte le 10/1/2024

• Segfaults on arm64 macOS

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 15/100

  runtimeverification/evm-semantics#2238 · Ouverte le 8/1/2024

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/evm-semantics#2162 · Ouverte le 8/11/2023

• Docker CI build step too slow

  Peut-être à nouveau libre @ehildenb l’a pris il y a 1062 jours, et aucune pull request n’est ouverte. Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  runtimeverification/evm-semantics#2150 · 1 commentaire · 1 personne assignée · Ouverte le 2/11/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#2145 · Ouverte le 30/10/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

  runtimeverification/evm-semantics#2143 · 3 commentaires · Ouverte le 27/10/2023

• Start K Server for CI tests

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#2124 · 1 commentaire · Ouverte le 19/10/2023

• Rename `kevm-pyk` to `kevm`

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  cli enhancement

  Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

  runtimeverification/evm-semantics#2122 · Ouverte le 19/10/2023

• Issues running kclaim style proofs

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

  runtimeverification/evm-semantics#2088 · 5 commentaires · Ouverte le 25/9/2023

• Segmentation Fault Encountered While Generating a Proof

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/evm-semantics#2070 · Ouverte le 14/9/2023

• solc-select not integrating with kevm-pyk

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#2061 · Ouverte le 7/9/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#2040 · Ouverte le 24/8/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug cli

  Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#2033 · Ouverte le 23/8/2023

• Parallelize symbolic execution of tests

  Peut-être à nouveau libre Une pull request pour cette issue a été fermée sans être fusionnée. Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  engagement enhancement

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

  runtimeverification/evm-semantics#2009 · 2 commentaires · Ouverte le 10/8/2023

• Implement structural checkers for proofs

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/evm-semantics#1994 · 2 commentaires · Ouverte le 4/8/2023

• Show warning on proofs with loop-depth bounded nodes

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

  runtimeverification/evm-semantics#1973 · Ouverte le 26/7/2023

• Refactor `foundry_get_model` and `print_failure_info`

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#1955 · Ouverte le 12/7/2023

• Introduce verbosity levels for `foundry-kompile`

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#1950 · 2 commentaires · Ouverte le 11/7/2023

• Improvements to Kontrol UX

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/evm-semantics#1942 · 1 commentaire · Ouverte le 6/7/2023

• Factor out Dockerhub build and test stage into action

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

  runtimeverification/evm-semantics#1889 · Ouverte le 5/6/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#1875 · 2 commentaires · Ouverte le 31/5/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#1851 · 3 commentaires · Ouverte le 24/5/2023

• Implement vm.record cheat code

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#1787 · 4 commentaires · Ouverte le 28/4/2023

• More guidance on where to continue execution

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

  runtimeverification/evm-semantics#1753 · 1 commentaire · Ouverte le 20/4/2023

• Automatically detect and warn user on bad branches

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

  runtimeverification/evm-semantics#1752 · 4 commentaires · Ouverte le 20/4/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#1741 · Ouverte le 19/4/2023

• Investigate creator and creator2 accounts in foundry

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#1690 · 1 commentaire · Ouverte le 4/4/2023

• Reproducing proofs from LUKSO engagement

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#1681 · 2 commentaires · Ouverte le 3/4/2023

• Conformance test failing list

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  kevm

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/evm-semantics#1671 · 2 commentaires · Ouverte le 28/3/2023