runtimeverification/llvm-backend

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

• 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

• Abort when trying to execute a hook that is not implemented

  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
  code generation wontfix

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

  runtimeverification/llvm-backend#1211 · Abierto el 15/7/2025

• GC-BUG: Execution aborts while collecting old generation when using `free_all_kore_mem` in a few tests.

  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 garbage collection

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

  runtimeverification/llvm-backend#1204 · Abierto el 10/4/2025

• mmap() and demand paging experiments

  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/llvm-backend#1196 · Abierto el 23/1/2025

• CMake fix for Mac building

  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/llvm-backend#1181 · 3 comentarios · Abierto el 9/12/2024

• Ill-sorted injection casues unpredicatable behavior

  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/llvm-backend#1171 · Abierto el 29/11/2024

• kore-proof-trace should print the rules from domains.md, as well

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

  runtimeverification/llvm-backend#1124 · Abierto el 1/8/2024

• GDB support broken in minimal 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 3/5 1-2 días Aptitud para principiantes 35/100

  runtimeverification/llvm-backend#1113 · 4 comentarios · Abierto el 22/7/2024

• binary serializer (v1) does not correctly handle parametric symbols

  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
  backend runtime bug

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

  runtimeverification/llvm-backend#1106 · Abierto el 10/7/2024

• Add Nix information from K readme here

  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/llvm-backend#1099 · Abierto el 3/7/2024

• pybind11 raises a `UnicodeDecodeError` on non-utf bytes in terms of sort `Bytes`

  Quizá libre de nuevo @gtrepta la tomó hace 845 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
  bindings

  runtimeverification/llvm-backend#1078 · 1 comentario · 1 asignado · Abierto el 31/5/2024

• Recreate llvm-backend gcroots code on develop branch

  Quizá libre de nuevo @theo25 la tomó hace 673 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/llvm-backend#1077 · 2 comentarios · 1 asignado · Abierto el 31/5/2024

• Generate sphinx documentation for python bindings

  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/llvm-backend#1042 · 2 reacciones · Abierto el 6/5/2024

• Experiment on axiom pattern formats

  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/llvm-backend#1017 · Abierto el 20/3/2024

• [K-Bug] Setting subject in debugging

  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
  debugger

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

  runtimeverification/llvm-backend#1015 · 1 comentario · Abierto el 13/3/2024

• Decide on and enforce house C++ style

  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/llvm-backend#994 · 2 comentarios · Abierto el 23/2/2024

• Automate regeneration of test cases

  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/llvm-backend#987 · 3 comentarios · Abierto el 16/2/2024

• Deep dive notes

  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/llvm-backend#965 · Abierto el 31/1/2024

• `evaluate_function` followed by `Term.step` causes segmentation fault

  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
  bindings bug

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

  runtimeverification/llvm-backend#943 · 2 comentarios · Abierto el 20/12/2023

• Set macOS SDK version explicitly in CMake

  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/llvm-backend#942 · Abierto el 20/12/2023

• [K-Bug] `k start` in llvm gdb gives "Cannot access memory at address"

  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/llvm-backend#1018 · 1 comentario · Abierto el 5/12/2023

• Finish migrating C bindings to core bindings library

  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/llvm-backend#900 · Abierto el 22/11/2023

• [GDB] Create script and tests for GDB to run in CI

  Quizá libre de nuevo @Robertorosmaninho la tomó hace 1097 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
  debugger

  runtimeverification/llvm-backend#840 · 2 comentarios · 1 asignado · Abierto el 28/9/2023

• Rethink lookup of `clang-$VERSION` in CMake

  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/llvm-backend#808 · Abierto el 20/7/2023

• Range maps printing

  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/llvm-backend#806 · Abierto el 18/7/2023

• `MInt` syntax with no uses of `Int2MInt` crashes

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

  runtimeverification/llvm-backend#798 · 2 comentarios · Abierto el 11/7/2023

• LLVM backend failing to evaluate 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 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/llvm-backend#788 · 4 comentarios · Abierto el 26/6/2023

• Ideas for improving granularity of garbage collection (gc)

  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/llvm-backend#749 · 5 comentarios · Abierto el 27/4/2023

• [GDB] Can't print builtin types on LHS of rules in `K Match`

  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 debugger

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

  runtimeverification/llvm-backend#746 · 16 comentarios · Abierto el 20/4/2023

• [GDB] MatchLog enum kind raises `TypeError` when printed

  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 debugger

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

  runtimeverification/llvm-backend#726 · 1 comentario · Abierto el 4/4/2023

• Add global lock to GC

  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/llvm-backend#705 · Abierto el 16/3/2023

• LLVM-Backend Generated Interpreter C API 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
  bindings

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

  runtimeverification/llvm-backend#692 · 4 comentarios · Abierto el 7/3/2023

• Buggy decision tree generated in case involving overloads

  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/llvm-backend#676 · 1 comentario · Abierto el 28/2/2023

• Improve LLVM backend 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
  documentation

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

  runtimeverification/llvm-backend#621 · Abierto el 9/1/2023

• [Bug] [kompile] - kompile emits a "Non exhaustive match detected" warning for a seemingly sufficiently complete function definition

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

  runtimeverification/llvm-backend#495 · 6 comentarios · Abierto el 8/3/2022

• [Bug] [kompile] - Failure to match variable in depth 2 context after substitution

  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/llvm-backend#467 · 1 comentario · Abierto el 30/8/2021

• Duplications between llvm-backend and blockchain-k-plugin

  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/llvm-backend#383 · 2 comentarios · Abierto el 11/12/2020

• Remove duplication of metadata between kast.k and kprint

  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/llvm-backend#336 · 3 comentarios · Abierto el 15/5/2020

• generalize gc generations and thresholds

  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/llvm-backend#311 · Abierto el 31/3/2020

• Support [memo] attribute

  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/llvm-backend#247 · 5 comentarios · Abierto el 8/10/2019

• Performance overhead in proof_trace_callback_writer

  Posiblemente ocupada Un pull request vinculado a esta issue está abierto o ya se fusionó. 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/llvm-backend#1197 · 1 comentario · Abierto el 31/1/2025