runtimeverification/evm-semantics

Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  runtimeverification/evm-semantics#2879 · Aperta il 7/9/2026

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#2869 · Aperta il 24/6/2026

• Investigate conformance tests running out of memory.

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#2832 · Aperta il 16/12/2025

• Update legacy-tests across test-suites

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

  runtimeverification/evm-semantics#2824 · Aperta il 11/12/2025

• Symbolic Execution Slowdown with Summary Rules

  Forse di nuovo libera @Stevengre l’ha presa 417 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  runtimeverification/evm-semantics#2789 · 1 assegnatario · Aperta il 8/8/2025

• EVM Opcode Summarization System Technical Report

  Forse di nuovo libera @Stevengre l’ha presa 446 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  documentation

  runtimeverification/evm-semantics#2778 · 1 assegnatario · Aperta il 9/7/2025

• Add dedicated SourceTarget to kdist

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 42/100

  runtimeverification/evm-semantics#2777 · Aperta il 9/7/2025

• EVM Opcode Summarization System Development Report

  Forse di nuovo libera @Stevengre l’ha presa 447 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  documentation

  runtimeverification/evm-semantics#2776 · 1 assegnatario · Aperta il 9/7/2025

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#2736 · Aperta il 7/4/2025

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  runtimeverification/evm-semantics#2731 · 1 assegnatario · Aperta il 27/3/2025

• Summarize all the EVM opcodes

  Forse di nuovo libera @Stevengre l’ha presa 593 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  runtimeverification/evm-semantics#2705 · 2 commenti · 1 assegnatario · Aperta il 13/2/2025

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 2/5 1-3 ore Idoneità per principianti 55/100

  runtimeverification/evm-semantics#2678 · Aperta il 13/1/2025

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100

  runtimeverification/evm-semantics#2677 · Aperta il 7/1/2025

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  runtimeverification/evm-semantics#2617 · 7 commenti · Aperta il 10/9/2024

• using this semantics in Coq

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

  runtimeverification/evm-semantics#2552 · 2 commenti · Aperta il 5/8/2024

• Upstream symbolic bytes lemmas for CSE

  Forse di nuovo libera @palinatolmach l’ha presa 599 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  runtimeverification/evm-semantics#2476 · 1 assegnatario · Aperta il 11/6/2024

• Add Dencun upgrade changes

  Forse di nuovo libera @anvacaru l’ha presa 825 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  runtimeverification/evm-semantics#2356 · 2 commenti · 1 assegnatario · Aperta il 13/3/2024

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  runtimeverification/evm-semantics#2314 · Aperta il 27/2/2024

• Rule coverage and configuration well-formedness

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  runtimeverification/evm-semantics#2291 · 1 commento · Aperta il 9/2/2024

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  runtimeverification/evm-semantics#2290 · Aperta il 9/2/2024

• Default Behavior for Lemma File and Module Import in Kontrol

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  runtimeverification/evm-semantics#2274 · Aperta il 25/1/2024

• Fix warnings on non-exhaustive matches for rules

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kevm

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#2248 · 2 commenti · Aperta il 10/1/2024

• Segfaults on arm64 macOS

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

  runtimeverification/evm-semantics#2238 · Aperta il 8/1/2024

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  runtimeverification/evm-semantics#2162 · Aperta il 8/11/2023

• Docker CI build step too slow

  Forse di nuovo libera @ehildenb l’ha presa 1061 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  runtimeverification/evm-semantics#2150 · 1 commento · 1 assegnatario · Aperta il 2/11/2023

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#2145 · Aperta il 30/10/2023

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

  runtimeverification/evm-semantics#2143 · 3 commenti · Aperta il 27/10/2023

• Start K Server for CI tests

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#2124 · 1 commento · Aperta il 19/10/2023

• Rename `kevm-pyk` to `kevm`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  cli enhancement

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

  runtimeverification/evm-semantics#2122 · Aperta il 19/10/2023

• Issues running kclaim style proofs

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

  runtimeverification/evm-semantics#2088 · 5 commenti · Aperta il 25/9/2023

• Segmentation Fault Encountered While Generating a Proof

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  runtimeverification/evm-semantics#2070 · Aperta il 14/9/2023

• solc-select not integrating with kevm-pyk

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#2061 · Aperta il 7/9/2023

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#2040 · Aperta il 24/8/2023

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug cli

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#2033 · Aperta il 23/8/2023

• Parallelize symbolic execution of tests

  Forse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  engagement enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

  runtimeverification/evm-semantics#2009 · 2 commenti · Aperta il 10/8/2023

• Implement structural checkers for proofs

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  runtimeverification/evm-semantics#1994 · 2 commenti · Aperta il 4/8/2023

• Show warning on proofs with loop-depth bounded nodes

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

  runtimeverification/evm-semantics#1973 · Aperta il 26/7/2023

• Refactor `foundry_get_model` and `print_failure_info`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#1955 · Aperta il 12/7/2023

• Introduce verbosity levels for `foundry-kompile`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#1950 · 2 commenti · Aperta il 11/7/2023

• Improvements to Kontrol UX

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  runtimeverification/evm-semantics#1942 · 1 commento · Aperta il 6/7/2023

• Factor out Dockerhub build and test stage into action

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

  runtimeverification/evm-semantics#1889 · Aperta il 5/6/2023

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#1875 · 2 commenti · Aperta il 31/5/2023

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#1851 · 3 commenti · Aperta il 24/5/2023

• Implement vm.record cheat code

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#1787 · 4 commenti · Aperta il 28/4/2023

• More guidance on where to continue execution

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

  runtimeverification/evm-semantics#1753 · 1 commento · Aperta il 20/4/2023

• Automatically detect and warn user on bad branches

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

  runtimeverification/evm-semantics#1752 · 4 commenti · Aperta il 20/4/2023

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

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#1741 · Aperta il 19/4/2023

• Investigate creator and creator2 accounts in foundry

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#1690 · 1 commento · Aperta il 4/4/2023

• Reproducing proofs from LUKSO engagement

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#1681 · 2 commenti · Aperta il 3/4/2023

• Conformance test failing list

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kevm

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  runtimeverification/evm-semantics#1671 · 2 commenti · Aperta il 28/3/2023