runtimeverification/llvm-backend

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

• Fix for building with later versions of g++

  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à 1/5 Meno di un'ora Idoneità per principianti 84/100

  runtimeverification/llvm-backend#1221 · 1 commento · Aperta il 8/8/2026

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

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

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

  runtimeverification/llvm-backend#1211 · Aperta il 15/7/2025

• GC-BUG: Execution aborts while collecting old generation when using `free_all_kore_mem` in a few 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
  bug garbage collection

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

  runtimeverification/llvm-backend#1204 · Aperta il 10/4/2025

• mmap() and demand paging experiments

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

• CMake fix for Mac building

  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/llvm-backend#1181 · 3 commenti · Aperta il 9/12/2024

• Ill-sorted injection casues unpredicatable behavior

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

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

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

  runtimeverification/llvm-backend#1124 · Aperta il 1/8/2024

• GDB support broken in minimal docker container

  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/llvm-backend#1113 · 4 commenti · Aperta il 22/7/2024

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

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

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

  runtimeverification/llvm-backend#1106 · Aperta il 10/7/2024

• Add Nix information from K readme here

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

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

  Forse di nuovo libera @gtrepta l’ha presa 846 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
  bindings

  runtimeverification/llvm-backend#1078 · 1 commento · 1 assegnatario · Aperta il 31/5/2024

• Recreate llvm-backend gcroots code on develop branch

  Forse di nuovo libera @theo25 l’ha presa 673 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/llvm-backend#1077 · 2 commenti · 1 assegnatario · Aperta il 31/5/2024

• Generate sphinx documentation for python bindings

  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/llvm-backend#1042 · 2 reazioni · Aperta il 6/5/2024

• Experiment on axiom pattern formats

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

• [K-Bug] Setting subject in debugging

  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
  debugger

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

  runtimeverification/llvm-backend#1015 · 1 commento · Aperta il 13/3/2024

• Decide on and enforce house C++ style

  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/llvm-backend#994 · 2 commenti · Aperta il 23/2/2024

• Automate regeneration of test cases

  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/llvm-backend#987 · 3 commenti · Aperta il 16/2/2024

• Deep dive notes

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

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

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

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

  runtimeverification/llvm-backend#943 · 2 commenti · Aperta il 20/12/2023

• Set macOS SDK version explicitly in CMake

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

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

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

  runtimeverification/llvm-backend#1018 · 1 commento · Aperta il 5/12/2023

• Finish migrating C bindings to core bindings library

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

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

  Forse di nuovo libera @Robertorosmaninho l’ha presa 1098 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
  debugger

  runtimeverification/llvm-backend#840 · 2 commenti · 1 assegnatario · Aperta il 28/9/2023

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

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

• Range maps printing

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

  runtimeverification/llvm-backend#806 · Aperta il 18/7/2023

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

  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/llvm-backend#798 · 2 commenti · Aperta il 11/7/2023

• LLVM backend failing to evaluate function

  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/llvm-backend#788 · 4 commenti · Aperta il 26/6/2023

• Ideas for improving granularity of garbage collection (gc)

  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/llvm-backend#749 · 5 commenti · Aperta il 27/4/2023

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

  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 debugger

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

  runtimeverification/llvm-backend#746 · 16 commenti · Aperta il 20/4/2023

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

  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 debugger

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

  runtimeverification/llvm-backend#726 · 1 commento · Aperta il 4/4/2023

• Add global lock to GC

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

• LLVM-Backend Generated Interpreter C API Documentation

  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
  bindings

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

  runtimeverification/llvm-backend#692 · 4 commenti · Aperta il 7/3/2023

• Buggy decision tree generated in case involving overloads

  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/llvm-backend#676 · 1 commento · Aperta il 28/2/2023

• Improve LLVM backend documentation

  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

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

  runtimeverification/llvm-backend#621 · Aperta il 9/1/2023

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

  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/llvm-backend#495 · 6 commenti · Aperta il 8/3/2022

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

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

  runtimeverification/llvm-backend#467 · 1 commento · Aperta il 30/8/2021

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

  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/llvm-backend#383 · 2 commenti · Aperta il 11/12/2020

• Remove duplication of metadata between kast.k and kprint

  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/llvm-backend#336 · 3 commenti · Aperta il 15/5/2020

• generalize gc generations and thresholds

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

• Support [memo] attribute

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

  runtimeverification/llvm-backend#247 · 5 commenti · Aperta il 8/10/2019

• Performance overhead in proof_trace_callback_writer

  Forse già presa Una pull request collegata a questa issue è aperta o già 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

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

  runtimeverification/llvm-backend#1197 · 1 commento · Aperta il 31/1/2025