runtimeverification/kontrol

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

• The `docker` CI test fails on recent Foundry versions

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

  runtimeverification/kontrol#1142 · Abierto el 12/5/2026

• New cheatcode: `symbolicStorage` variant that preserves existing storage assignments

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

  runtimeverification/kontrol#1138 · Abierto el 21/4/2026

• Implement `vm.getStorageSlots` cheatcode

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

  runtimeverification/kontrol#1137 · Abierto el 21/4/2026

• `kontrol simplify-node --lemmas` broken

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

  runtimeverification/kontrol#1133 · 4 comentarios · Abierto el 13/4/2026

• Introduce additional auxiliary functions to `KontrolTest`

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

  runtimeverification/kontrol#1083 · Abierto el 30/9/2025

• Kontrol does not idendify tests if Contracts are duplicated

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

  runtimeverification/kontrol#1062 · Abierto el 8/8/2025

• Kontrol returns incorrect counterexample for failing test

  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/kontrol#1054 · Abierto el 15/7/2025

• Keccak lemma can cause important cases to be overlooked in a test

  Quizá libre de nuevo @lucasmt la tomó hace 451 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/kontrol#1053 · 1 comentario · 1 asignado · Abierto el 15/7/2025

• Refactor the printing of failure information in kontrol show

  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/kontrol#1048 · Abierto el 8/7/2025

• Exclude `setUp` from test count in the report

  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/kontrol#1038 · Abierto el 9/6/2025

• Empty entries printed in the kaas remote compute job

  Quizá libre de nuevo @palinatolmach la tomó hace 530 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/kontrol#1020 · 1 comentario · 1 asignado · Abierto el 28/4/2025

• Updates to Kontrol Documentation

  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/kontrol#1018 · Abierto el 27/4/2025

• Upstream recent engagement lemmas for keccak

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

  runtimeverification/kontrol#1004 · Abierto el 25/3/2025

• Add `deadcode` utility to CI code checks

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

  runtimeverification/kontrol#989 · 1 comentario · Abierto el 14/3/2025

• Build from src (without nix) on Mac CI/CD

  Quizá libre de nuevo @FWBlueWizard la tomó hace 575 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 enhancement help wanted investigation

  runtimeverification/kontrol#987 · 1 asignado · Abierto el 13/3/2025

• `Array length bounds missing` error when constructor takes a struct that includes an array of structs

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

  runtimeverification/kontrol#974 · 1 comentario · Abierto el 5/3/2025

• Add a `prank` variation that would not load account

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

  runtimeverification/kontrol#972 · Abierto el 3/3/2025

• Add the ability to filter out failures based on the reason

  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/kontrol#971 · Abierto el 3/3/2025

• Document the use of Docker container

  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 Medio día Aptitud para principiantes 55/100

  runtimeverification/kontrol#966 · Abierto el 20/2/2025

• Simplify the installation process

  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/kontrol#962 · 2 comentarios · Abierto el 16/2/2025

• Set XML Report Name in UI / kaas-cli when calling 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
  kaas

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

  runtimeverification/kontrol#953 · Abierto el 29/1/2025

• Revise implementation of the `forgetBranch` cheatcode

  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/kontrol#943 · Abierto el 23/1/2025

• Automate schedule selection based on `foundry.toml`, `kontrol.toml` and defaults

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

  runtimeverification/kontrol#934 · 1 comentario · Abierto el 17/1/2025

• Automate external computation/state-diff approach

  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/kontrol#932 · Abierto el 16/1/2025

• Support `randomInt` cheatcodes

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

  runtimeverification/kontrol#927 · Abierto el 13/1/2025

• CSE for real-world contracts

  Quizá libre de nuevo @Stevengre la tomó hace 642 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
  bug cse

  runtimeverification/kontrol#922 · 1 asignado · Abierto el 6/1/2025

• Reconstruct Kontrol's functionality related to minimization and merge node

  Quizá libre de nuevo @Stevengre la tomó hace 669 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/kontrol#908 · 1 asignado · Abierto el 10/12/2024

• Make CSE more useful by reusing the previous proof

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

  runtimeverification/kontrol#896 · 3 comentarios · 1 asignado · Abierto el 27/11/2024

• Support signed int `random` cheatcodes

  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/kontrol#890 · Abierto el 20/11/2024

• [CSE] Basic CI tests

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

  runtimeverification/kontrol#888 · 1 comentario · 1 asignado · Abierto el 19/11/2024

• Generate complete default `kontrol.toml` automatically using `kontrol config` like the `foundry config`.

  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/kontrol#887 · Abierto el 19/11/2024

• Counter examples in Solidity

  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 ux

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

  runtimeverification/kontrol#886 · 1 comentario · Abierto el 18/11/2024

• Schedule should be read from `foundry.toml`

  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 good first issue

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

  runtimeverification/kontrol#873 · 1 comentario · Abierto el 28/10/2024

• Kontrol Loop Invariants knowledge

  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/kontrol#866 · 4 comentarios · Abierto el 15/10/2024

• Add test of `kontol show ... --to-kevm-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

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

  runtimeverification/kontrol#863 · Abierto el 10/10/2024

• XML report: include information about nodes, branches in 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

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

  runtimeverification/kontrol#860 · Abierto el 9/10/2024

• Include `kontrol prove` command in the XML report

  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 kaas

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

  runtimeverification/kontrol#856 · Abierto el 8/10/2024

• Add the ability to direct the execution towards one branch

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

  runtimeverification/kontrol#852 · Abierto el 7/10/2024

• Add the ability to print a subtree in KCFG

  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/kontrol#851 · 2 comentarios · Abierto el 7/10/2024

• Make test prefix customizable in `kontrol 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
  enhancement

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

  runtimeverification/kontrol#834 · Abierto el 25/9/2024

• Reference a full `kontrol.toml` file in docs

  Quizá libre de nuevo @Stevengre la tomó hace 702 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 good first issue kaas

  runtimeverification/kontrol#818 · 2 comentarios · 1 asignado · Abierto el 11/9/2024

• Out of bounds test id

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

  runtimeverification/kontrol#805 · Abierto el 4/9/2024

• Update Kontrol documentation

  Quizá libre de nuevo @Stevengre la tomó hace 688 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/kontrol#770 · 1 comentario · 2 asignados · Abierto el 13/8/2024

• [intuitiveness] Minimize the need for background knowledge

  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/kontrol#761 · 1 comentario · Abierto el 9/8/2024

• Increasing the Kontrol test time limit on "integration tests (booster)"

  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/kontrol#760 · Abierto el 8/8/2024

• [proof-explore | low-priority] A Call for Improved Methods in Proof Exploration

  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/kontrol#743 · 10 comentarios · Abierto el 5/8/2024

• [cse] Precondition Refinement

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

  runtimeverification/kontrol#742 · 7 comentarios · 1 asignado · Abierto el 5/8/2024

• Factor the contract digest logic down to the `Contract` class

  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/kontrol#739 · Abierto el 2/8/2024

• Remove irrelevant assignments from counterexamples

  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 ux

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

  runtimeverification/kontrol#710 · 2 comentarios · Abierto el 19/7/2024

• Construct an appropriate `is_mergable` heuristic for merging nodes and composable verification.

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

  runtimeverification/kontrol#703 · 6 comentarios · 1 asignado · Abierto el 17/7/2024