runtimeverification

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

• List matcher treats a symbolic List frame as an element, allowing false 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 2/5 1-3 horas Aptitud para principiantes 88/100

  runtimeverification/haskell-backend#4161 · Abierto el 27/9/2026

• 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

• Fix for building with later versions of g++

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

  runtimeverification/llvm-backend#1221 · 1 comentario · Abierto el 8/8/2026

• Discharge the opaque size_of axiom: a typeclass model that also makes the sizes checkable

  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/kernel-rust-verification-spike#4 · Abierto el 28/7/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

• Introduce composable symbolic execution interface in pyx

  Quizá libre de nuevo @Stevengre la tomó hace 97 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/k#4939 · 1 asignado · Abierto el 24/6/2026

• Concolic Explorer

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

  runtimeverification/k#4937 · Abierto el 18/6/2026

• All-path reachability proof checker

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

  runtimeverification/k#4936 · Abierto el 18/6/2026

• Accelerating all-path reachability proofs with one-path reachability proofs

  Quizá libre de nuevo @Stevengre la tomó hace 103 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
  type:epic

  runtimeverification/k#4934 · 4 comentarios · 1 asignado · Abierto el 15/6/2026

• Milestone 6: Final 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 1/5 Menos de una hora Aptitud para principiantes 20/100

  runtimeverification/skribe-advanced-fuzzing#18 · Abierto el 4/6/2026

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

  runtimeverification/skribe-advanced-fuzzing#17 · Abierto el 3/6/2026

• Support progressive depth halving as a generic policy in `Prover.advance_proof`

  Quizá libre de nuevo @Stevengre la tomó hace 122 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/k#4924 · 1 asignado · Abierto el 29/5/2026

• Fuzzer usability improvements

  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/skribe#92 · Abierto el 22/5/2026

• Milestone 4: 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 5/5 Más de una semana Aptitud para principiantes 10/100

  runtimeverification/skribe-advanced-fuzzing#14 · Abierto el 22/5/2026

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

  runtimeverification/skribe-advanced-fuzzing#13 · Abierto el 15/5/2026

• 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

• Milestone 2: 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 5/5 Más de una semana Aptitud para principiantes 10/100

  runtimeverification/skribe-advanced-fuzzing#10 · Abierto el 8/5/2026

• Performance Measurements

  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/skribe-advanced-fuzzing#5 · Abierto el 1/5/2026

• `skribe-fuzz`: Implementation Plan

  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/skribe-advanced-fuzzing#1 · Abierto el 29/4/2026

• Milestone 1: Architecture

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

  runtimeverification/skribe-advanced-fuzzing#2 · Abierto el 29/4/2026

• Inconsistent KMIR versions across project

  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/mir-semantics#1078 · Abierto el 24/4/2026

• Check version of already installed nix binary

  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/kup#149 · Abierto el 22/4/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

• Decode constant call arguments before storing them in callee locals

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

  runtimeverification/mir-semantics#1070 · 2 comentarios · Abierto el 18/4/2026

• Reloading proof crashes on with `nix` installation

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

  runtimeverification/mir-semantics#1067 · Abierto el 16/4/2026

• `kontrol simplify-node --config-profile <profile>` ignores `kontrol.toml` and specified profile

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

  runtimeverification/kontrol#1134 · 1 comentario · Abierto el 13/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

• Unify #traverseProjection value representation to eliminate singleton Range round-trips

  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
  area:semantics kind:refactor priority:p1 status:triage type:task

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

  runtimeverification/mir-semantics#1011 · 1 comentario · Abierto el 1/4/2026

• feat: add address allocation model for pointer-to-integer semantics

  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
  status:ready

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

  runtimeverification/mir-semantics#1002 · Abierto el 26/3/2026

• Nested transparent wrapper pointer casts produce incorrect projection chains

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

  runtimeverification/mir-semantics#997 · Abierto el 20/3/2026

• No-LLVM-kompile approach causes 5x prove performance regression due to kore-rpc fallback

  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
  area:semantics kind:perf priority:p2 status:icebox type:bug

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

  runtimeverification/mir-semantics#992 · 1 comentario · Abierto el 18/3/2026

• Inline Ty indices: replace ty(Int) references with actual type data

  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
  area:semantics area:types priority:p2 status:triage type:feature

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

  runtimeverification/mir-semantics#991 · Abierto el 17/3/2026

• non-evaluator attribute requires manual propagation across entire call chain

  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
  area:haskell-backend area:llvm-backend priority:p2 status:icebox type:feature

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

  runtimeverification/k#4904 · Abierto el 17/3/2026

• Node.js 20 CI runner deprecation notice

  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/stable-mir-json#148 · Abierto el 11/3/2026

• The Curious Case of stdlib: nightly compatibility findings

  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/stable-mir-json#141 · Abierto el 8/3/2026

• Qualified names for both `IntrinsicSym` and `NormalSym`

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

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

  runtimeverification/stable-mir-json#137 · 1 comentario · Abierto el 5/3/2026

• [FEAT] Add performance benchmarking and profiling infrastructure

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

  runtimeverification/mir-semantics#970 · 3 comentarios · Abierto el 4/3/2026

• Incrementally integrate external Rust test suites into mir-semantics CI

  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/mir-semantics#964 · Abierto el 2/3/2026

• Surface mutability in graph outputs

  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/stable-mir-json#128 · Abierto el 27/2/2026

• Remove mutability tracking from MIR semantics

  Quizá libre de nuevo @Stevengre la tomó hace 215 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/mir-semantics#949 · 1 comentario · 1 asignado · Abierto el 26/2/2026

• Booster: Optimize KMap internal data structure to improve Map operation performance

  Quizá libre de nuevo @Stevengre la tomó hace 218 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/haskell-backend#4138 · 9 comentarios · 1 asignado · Abierto el 23/2/2026

• Semantics of iterator core 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
  bug

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

  runtimeverification/mir-semantics#914 · Abierto el 19/1/2026

• UX improvements for `section_edge`

  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/k#4897 · Abierto el 8/1/2026

• feat: support panic

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

  runtimeverification/mir-semantics#899 · Abierto el 17/12/2025

• 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

• Upgrade github action linter and fix issues

  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/k#4887 · Abierto el 13/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

• Better 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/mir-semantics#890 · Abierto el 10/12/2025

• [FEAT] Tackle impossible cases with minimal requirements

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

  runtimeverification/mir-semantics#889 · Abierto el 10/12/2025