Search results

GC-BUG: Execution aborts while collecting old generation when using <code>free_all_kore_mem</code> in a few tests.

bugSomething isn't workingSomething isn't working

garbage collection

Status: Open.

Bug

#1204 In runtimeverification/llvm-backend;

· Robertorosmaninho opened on Apr 10, 2025

binary serializer (v1) does not correctly handle parametric symbols

backend runtime

bugSomething isn't workingSomething isn't working

Status: Open.

#1106 In runtimeverification/llvm-backend;

· dwightguth opened on Jul 10, 2024

<code>evaluate_function</code> followed by <code>Term.step</code> causes segmentation fault

bindingsLLVM backend bindings to other languagesLLVM backend bindings to other languages

bugSomething isn't workingSomething isn't working

Status: Open.

#943 In runtimeverification/llvm-backend;

· tothtamas28 opened on Dec 20, 2023

<code>MInt</code> syntax with no uses of <code>Int2MInt</code> crashes

bugSomething isn't workingSomething isn't working

Status: Open.

#798 In runtimeverification/llvm-backend;

· Baltoli opened on Jul 11, 2023

[GDB] Can't print builtin types on LHS of rules in <code>K Match</code>

bugSomething isn't workingSomething isn't working

debugger

Status: Open.

#746 In runtimeverification/llvm-backend;

· Robertorosmaninho opened on Apr 20, 2023

[GDB] MatchLog enum kind raises <code>TypeError</code> when printed

bugSomething isn't workingSomething isn't working

debugger

Status: Open.

#726 In runtimeverification/llvm-backend;

· Robertorosmaninho opened on Apr 4, 2023

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

bugSomething isn't workingSomething isn't working

Status: Open.

#495 In runtimeverification/llvm-backend;

· malturki opened on Mar 8, 2022