Search results

Booster: Optimize KMap internal data structure to improve Map operation performance

Status: Open.

#4138 In runtimeverification/haskell-backend;

· Stevengre opened on Feb 23, 2026

kore simplification logs not using rule labels

Status: Open.

#4122 In runtimeverification/haskell-backend;

· jberthold opened on Aug 21, 2025

Booster Map matching deficiency

Status: Open.

#4121 In runtimeverification/haskell-backend;

· jberthold opened on Aug 21, 2025

Adjust booster to LLVM API (rename munmap function)

Status: Open.

#4116 In runtimeverification/haskell-backend;

· jberthold opened on Jul 2, 2025

Backend fails to simplify complex shift expressions with bitwise AND operations

Status: Open.

#4112 In runtimeverification/haskell-backend;

· Stevengre opened on Jun 17, 2025

Evaluate sat.smt=true option for z3

Status: Open.

#4089 In runtimeverification/haskell-backend;

· palinatolmach opened on Jan 28, 2025

Booster's simplifier is unable to prune a #Bottom state

enhancementNew feature or requestNew feature or request

Status: Open.

#4067 In runtimeverification/haskell-backend;

· geo2a opened on Oct 29, 2024

Use smart Pattern constructor throughout the code

Status: Open.

#4065 In runtimeverification/haskell-backend;

· jberthold opened on Oct 23, 2024

Add a lightweight check for requires of equations when matching is indeterminate

boosterRelates to booster codeRelates to booster code

enhancementNew feature or requestNew feature or request

Status: Open.

#4053 In runtimeverification/haskell-backend;

· geo2a opened on Sep 27, 2024

Dynamic prelude

Status: Open.

#4034 In runtimeverification/haskell-backend;

· PetarMax opened on Aug 14, 2024

booster-dev crashes on simple test

Status: Open.

#4023 In runtimeverification/haskell-backend;

· ehildenb opened on Aug 8, 2024

Make the "simplify" endpoint in Booster evaluate inconsisten predicates and patterns to #Bottom

Status: Open.

#4012 In runtimeverification/haskell-backend;

· geo2a opened on Aug 1, 2024