Issues

• Fix for building with later versions of g++

  runtimeverification/llvm-backend#1221 · Filter by author marner2 opened on Aug 8, 2026
  1

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

  code generationwontfix
  Bug

  runtimeverification/llvm-backend#1211 · Filter by author Robertorosmaninho opened on Jul 15, 2025

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

  buggarbage collection
  Bug

  runtimeverification/llvm-backend#1204 · Filter by author Robertorosmaninho opened on Apr 10, 2025

• Performance overhead in proof_trace_callback_writer

  runtimeverification/llvm-backend#1197 · Filter by author stevenmeker opened on Jan 31, 2025
  1

• mmap() and demand paging experiments

  runtimeverification/llvm-backend#1196 · Filter by author stevenmeker opened on Jan 23, 2025

• CMake fix for Mac building

  runtimeverification/llvm-backend#1181 · Filter by author MirceaS opened on Dec 9, 2024
  3

• Ill-sorted injection casues unpredicatable behavior

  runtimeverification/llvm-backend#1171 · Filter by author tothtamas28 opened on Nov 29, 2024

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

  runtimeverification/llvm-backend#1124 · Filter by author dlucanu opened on Aug 1, 2024

• GDB support broken in minimal docker container

  runtimeverification/llvm-backend#1113 · Filter by author Baltoli opened on Jul 22, 2024
  4

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

  backend runtimebug
  runtimeverification/llvm-backend#1106 · Filter by author dwightguth opened on Jul 10, 2024

• Add Nix information from K readme here

  runtimeverification/llvm-backend#1099 · Filter by author Baltoli opened on Jul 3, 2024

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

  bindings
  runtimeverification/llvm-backend#1078 · Filter by author gtrepta opened on May 31, 2024
  1

  

• Recreate llvm-backend gcroots code on develop branch

  runtimeverification/llvm-backend#1077 · Filter by author dwightguth opened on May 31, 2024
  2

  

• Generate sphinx documentation for python bindings

  runtimeverification/llvm-backend#1042 · Filter by author dwightguth opened on May 6, 2024

• Experiment on axiom pattern formats

  runtimeverification/llvm-backend#1017 · Filter by author Baltoli opened on Mar 20, 2024

• [K-Bug] Setting subject in debugging

  debugger
  runtimeverification/llvm-backend#1015 · Filter by author celine-celine opened on Mar 13, 2024
  1

• Decide on and enforce house C++ style

  runtimeverification/llvm-backend#994 · Filter by author Baltoli opened on Feb 23, 2024
  2

• Automate regeneration of test cases

  runtimeverification/llvm-backend#987 · Filter by author Baltoli opened on Feb 16, 2024
  3

• Deep dive notes

  runtimeverification/llvm-backend#965 · Filter by author Baltoli opened on Jan 31, 2024

• evaluate_function followed by Term.step causes segmentation fault

  bindingsbug
  runtimeverification/llvm-backend#943 · Filter by author tothtamas28 opened on Dec 20, 2023
  2

• Set macOS SDK version explicitly in CMake

  runtimeverification/llvm-backend#942 · Filter by author Baltoli opened on Dec 20, 2023

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

  runtimeverification/llvm-backend#1018 · Filter by author perelo opened on Dec 5, 2023
  1

• Finish migrating C bindings to core bindings library

  runtimeverification/llvm-backend#900 · Filter by author Baltoli opened on Nov 22, 2023

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

  debugger
  runtimeverification/llvm-backend#840 · Filter by author Robertorosmaninho opened on Sep 28, 2023
  2

  

• Rethink lookup of clang-$VERSION in CMake

  runtimeverification/llvm-backend#808 · Filter by author Baltoli opened on Jul 20, 2023