runtimeverification/llvm-backend

Les issues sur lesquelles quelqu’un travaille peut-être déjà sont listées en dernier. Tout trier par date

• Fix for building with later versions of g++

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 1/5 Moins d'une heure Accessibilité débutants 84/100

  runtimeverification/llvm-backend#1221 · 1 commentaire · Ouverte le 8/8/2026

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  code generation wontfix

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/llvm-backend#1211 · Ouverte le 15/7/2025

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug garbage collection

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/llvm-backend#1204 · Ouverte le 10/4/2025

• mmap() and demand paging experiments

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/llvm-backend#1196 · Ouverte le 23/1/2025

• CMake fix for Mac building

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 2/5 1-3 heures Accessibilité débutants 45/100

  runtimeverification/llvm-backend#1181 · 3 commentaires · Ouverte le 9/12/2024

• Ill-sorted injection casues unpredicatable behavior

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 45/100

  runtimeverification/llvm-backend#1171 · Ouverte le 29/11/2024

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 38/100

  runtimeverification/llvm-backend#1124 · Ouverte le 1/8/2024

• GDB support broken in minimal docker container

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

  runtimeverification/llvm-backend#1113 · 4 commentaires · Ouverte le 22/7/2024

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  backend runtime bug

  Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

  runtimeverification/llvm-backend#1106 · Ouverte le 10/7/2024

• Add Nix information from K readme here

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 2/5 1-3 heures Accessibilité débutants 45/100

  runtimeverification/llvm-backend#1099 · Ouverte le 3/7/2024

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

  Peut-être à nouveau libre @gtrepta l’a pris il y a 871 jours, et aucune pull request n’est ouverte. Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bindings

  runtimeverification/llvm-backend#1078 · 1 commentaire · 1 personne assignée · Ouverte le 31/5/2024

• Recreate llvm-backend gcroots code on develop branch

  Peut-être à nouveau libre @theo25 l’a pris il y a 699 jours, et aucune pull request n’est ouverte. Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  runtimeverification/llvm-backend#1077 · 2 commentaires · 1 personne assignée · Ouverte le 31/5/2024

• Generate sphinx documentation for python bindings

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/llvm-backend#1042 · 2 réactions · Ouverte le 6/5/2024

• Experiment on axiom pattern formats

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/llvm-backend#1017 · Ouverte le 20/3/2024

• [K-Bug] Setting subject in debugging

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  debugger

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/llvm-backend#1015 · 1 commentaire · Ouverte le 13/3/2024

• Decide on and enforce house C++ style

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/llvm-backend#994 · 2 commentaires · Ouverte le 23/2/2024

• Automate regeneration of test cases

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/llvm-backend#987 · 3 commentaires · Ouverte le 16/2/2024

• Deep dive notes

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/llvm-backend#965 · Ouverte le 31/1/2024

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bindings bug

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/llvm-backend#943 · 2 commentaires · Ouverte le 20/12/2023

• Set macOS SDK version explicitly in CMake

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

  runtimeverification/llvm-backend#942 · Ouverte le 20/12/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

  runtimeverification/llvm-backend#1018 · 1 commentaire · Ouverte le 5/12/2023

• Finish migrating C bindings to core bindings library

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/llvm-backend#900 · Ouverte le 22/11/2023

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

  Peut-être à nouveau libre @Robertorosmaninho l’a pris il y a 1123 jours, et aucune pull request n’est ouverte. Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  debugger

  runtimeverification/llvm-backend#840 · 2 commentaires · 1 personne assignée · Ouverte le 28/9/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

  runtimeverification/llvm-backend#808 · Ouverte le 20/7/2023

• Range maps printing

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 48/100

  runtimeverification/llvm-backend#806 · Ouverte le 18/7/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug

  Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

  runtimeverification/llvm-backend#798 · 2 commentaires · Ouverte le 11/7/2023

• LLVM backend failing to evaluate function

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/llvm-backend#788 · 4 commentaires · Ouverte le 26/6/2023

• Ideas for improving granularity of garbage collection (gc)

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/llvm-backend#749 · 5 commentaires · Ouverte le 27/4/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug debugger

  Difficulté 4/5 3-5 jours Accessibilité débutants 45/100

  runtimeverification/llvm-backend#746 · 16 commentaires · Ouverte le 20/4/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug debugger

  Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

  runtimeverification/llvm-backend#726 · 1 commentaire · Ouverte le 4/4/2023

• Add global lock to GC

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

  runtimeverification/llvm-backend#705 · Ouverte le 16/3/2023

• LLVM-Backend Generated Interpreter C API Documentation

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bindings

  Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

  runtimeverification/llvm-backend#692 · 4 commentaires · Ouverte le 7/3/2023

• Buggy decision tree generated in case involving overloads

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

  runtimeverification/llvm-backend#676 · 1 commentaire · Ouverte le 28/2/2023

• Improve LLVM backend documentation

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  documentation

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/llvm-backend#621 · Ouverte le 9/1/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/llvm-backend#495 · 6 commentaires · Ouverte le 8/3/2022

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

  runtimeverification/llvm-backend#467 · 1 commentaire · Ouverte le 30/8/2021

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

  runtimeverification/llvm-backend#383 · 2 commentaires · Ouverte le 11/12/2020

• Remove duplication of metadata between kast.k and kprint

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

  runtimeverification/llvm-backend#336 · 3 commentaires · Ouverte le 15/5/2020

• generalize gc generations and thresholds

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/llvm-backend#311 · Ouverte le 31/3/2020

• Support [memo] attribute

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

  runtimeverification/llvm-backend#247 · 5 commentaires · Ouverte le 8/10/2019

• Performance overhead in proof_trace_callback_writer

  Peut-être pris Une pull request liée à cette issue est ouverte ou déjà fusionnée. Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/llvm-backend#1197 · 1 commentaire · Ouverte le 31/1/2025