runtimeverification/haskell-backend

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

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

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

• kore simplification logs not using rule labels

  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/haskell-backend#4122 · Abierto el 21/8/2025

• Booster Map matching deficiency

  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/haskell-backend#4121 · Abierto el 21/8/2025

• Adjust booster to LLVM API (rename munmap function)

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

  runtimeverification/haskell-backend#4116 · Abierto el 2/7/2025

• Backend fails to simplify complex shift expressions with bitwise AND operations

  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/haskell-backend#4112 · 2 comentarios · Abierto el 17/6/2025

• Evaluate `sat.smt=true` option for z3

  Quizá libre de nuevo @jberthold la tomó hace 607 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#4089 · 1 asignado · Abierto el 28/1/2025

• Booster's simplifier is unable to prune a `#Bottom` state

  Quizá libre de nuevo @jberthold la tomó hace 663 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/haskell-backend#4067 · 1 comentario · 1 asignado · Abierto el 29/10/2024

• Use smart `Pattern` constructor throughout the 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

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

  runtimeverification/haskell-backend#4065 · Abierto el 23/10/2024

• Add a lightweight check for `requires` of equations when matching is indeterminate

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

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

  runtimeverification/haskell-backend#4053 · Abierto el 27/9/2024

• Dynamic prelude

  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/haskell-backend#4034 · 4 comentarios · Abierto el 14/8/2024

• `booster-dev` crashes on simple 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 42/100

  runtimeverification/haskell-backend#4023 · 1 comentario · Abierto el 8/8/2024

• Make the `"simplify`" endpoint in Booster evaluate inconsisten predicates and patterns to `#Bottom`

  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/haskell-backend#4012 · Abierto el 1/8/2024

• Run `test-prove-functional` as part of `performance-test-kevm.sh`

  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/haskell-backend#4005 · Abierto el 29/7/2024

• Extend log processing tools to quantify _phases_ of 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

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

  runtimeverification/haskell-backend#3994 · Abierto el 24/7/2024

• Implies request (from kontrol) taking 1h to process

  Quizá libre de nuevo @goodlyrottenapple la tomó hace 797 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#3990 · 1 asignado · Abierto el 22/7/2024

• Modify performance scripts to run with sequential prover

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

  runtimeverification/haskell-backend#3972 · Abierto el 9/7/2024

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

  runtimeverification/haskell-backend#3956 · Abierto el 21/6/2024

• Reasoning about remainders

  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/haskell-backend#3948 · 3 comentarios · Abierto el 18/6/2024

• Investigate the background of #3917 (injections and SMT)

  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/haskell-backend#3920 · Abierto el 5/6/2024

• Make SMT timeout increase strategy configurable

  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/haskell-backend#3910 · Abierto el 31/5/2024

• Enable using `cvc5` SMT solver in Kore

  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/haskell-backend#3905 · 2 comentarios · Abierto el 28/5/2024

• Treat all terms of sort `Bool` as `Predicate` in `"get-model"`

  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
  booster

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

  runtimeverification/haskell-backend#3903 · Abierto el 27/5/2024

• Create a profiler leveraging the contextual logging

  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/haskell-backend#3888 · 3 comentarios · Abierto el 22/5/2024

• Add "hard" integration test for Booster's SMT solver interface

  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/haskell-backend#3887 · Abierto el 22/5/2024

• Non-terminating simplifications

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

  runtimeverification/haskell-backend#3873 · 1 comentario · Abierto el 15/5/2024

• Remove `log-failed-rewrites` "execute" request parameter

  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
  cleanup

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

  runtimeverification/haskell-backend#3872 · Abierto el 15/5/2024

• Extend definedness analysis to equations and output results in user-friendly way

  Quizá libre de nuevo @goodlyrottenapple la tomó hace 865 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#3868 · 1 asignado · Abierto el 15/5/2024

• Improving pre-SMT reasoning capabilities

  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/haskell-backend#3861 · 8 comentarios · Abierto el 14/5/2024

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

  runtimeverification/haskell-backend#3854 · 2 comentarios · Abierto el 9/5/2024

• Booster: Add internalised representations for Int and Bool

  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/haskell-backend#3848 · Abierto el 3/5/2024

• New command `kore-load` for computing needed issues with definitions

  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/haskell-backend#3840 · Abierto el 1/5/2024

• Branch returned although one of the next states simplifies to #bottom

  Quizá libre de nuevo @jberthold la tomó hace 900 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#3764 · 2 comentarios · 1 asignado · Abierto el 10/4/2024

• Flaky behavior on `simplify` endpoint

  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/haskell-backend#3761 · 1 comentario · Abierto el 9/4/2024

• Collect #Ceil conditions introduced by equations with partial functions

  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/hs-backend-booster

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

  runtimeverification/haskell-backend#3780 · 1 comentario · Abierto el 14/3/2024

• Collect Ceil conditions from rewriting with rules that do not preserve definedness

  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/hs-backend-booster

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

  runtimeverification/haskell-backend#3779 · Abierto el 14/3/2024

• Invalid variable names created by internalized rules

  Quizá libre de nuevo @nwatson22 la tomó hace 915 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 runtimeverification/hs-backend-booster

  runtimeverification/haskell-backend#3777 · 3 comentarios · 2 asignados · Abierto el 11/3/2024

• Ceil simplifier in 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
  runtimeverification/hs-backend-booster

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

  runtimeverification/haskell-backend#3773 · 2 comentarios · Abierto el 6/3/2024

• Use exit codes for failures at server startup

  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/hs-backend-booster

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

  runtimeverification/haskell-backend#3768 · Abierto el 22/2/2024

• Experiment to evaluate concrete terms in booster instead of llvm library

  Quizá libre de nuevo @jberthold la tomó hace 944 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/hs-backend-booster

  runtimeverification/haskell-backend#3767 · 3 comentarios · 1 asignado · Abierto el 21/2/2024

• Discussion of "overload" feature in K and whether to support it

  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/hs-backend-booster

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

  runtimeverification/haskell-backend#3796 · 3 comentarios · Abierto el 2/2/2024

• Consider adding no-junk and no-confusion axioms to SMT prelude

  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/hs-backend-booster

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

  runtimeverification/haskell-backend#3789 · 1 comentario · Abierto el 16/1/2024

• Backend gets stuck applying `#Ceil` rule for Maps

  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/haskell-backend#3703 · 1 comentario · Abierto el 12/12/2023

• Attempt rules not preserving definedness when configuration is 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
  runtimeverification/hs-backend-booster

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

  runtimeverification/haskell-backend#3774 · Abierto el 8/12/2023

• Constraints with an existential variable produced by `kmxwasm` cannot be internalised by 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
  runtimeverification/hs-backend-booster

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

  runtimeverification/haskell-backend#3766 · 1 comentario · Abierto el 24/11/2023

• Set simplification lemmas appear to cause slowdown

  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/haskell-backend#3693 · Abierto el 7/11/2023

• Adjust documentation for kore-syntax and kore-JSON to multi-ary and/or

  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/haskell-backend#3680 · 1 comentario · Abierto el 17/10/2023

• Add a hook for `KRYPTO.bn128valid`

  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/haskell-backend#3674 · Abierto el 10/10/2023

• Lemma with an `ensures` clause is not being applied

  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/haskell-backend#3669 · 8 comentarios · Abierto el 3/10/2023

• Handle substitutions in Booster directly

  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/hs-backend-booster

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

  runtimeverification/haskell-backend#3781 · Abierto el 7/9/2023