Search results

ci: Share dependency builds between grease, screach Docker images

Status: Open.

#678 In GaloisInc/grease;

· langston-barrett opened on May 6, 2026

Index not in lookup table

area/macawArea: Binaries of any architecture/object formatArea: Binaries of any architecture/object format

Status: Open.

#677 In GaloisInc/grease;

· langston-barrett opened on May 5, 2026

screach: Improve usage documentation

area/docsImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#672 In GaloisInc/grease;

· langston-barrett opened on Apr 30, 2026

screach: Remove GenericDebugOutput

size/aiProbably doable by an AI agentProbably doable by an AI agent

type/refactor

Status: Open.

#669 In GaloisInc/grease;

· langston-barrett opened on Apr 28, 2026

perf/research: Segment the stack

area/macawArea: Binaries of any architecture/object formatArea: Binaries of any architecture/object format

area/memory-model

size/big

topic/performanceIssues related to the runtime performance of the tool.Issues related to the runtime performance of the tool.

Status: Open.

#668 In GaloisInc/grease;

· langston-barrett opened on Apr 28, 2026

perf/research: Segment the global memory space

area/macawArea: Binaries of any architecture/object formatArea: Binaries of any architecture/object format

area/memory-model

size/big

topic/performanceIssues related to the runtime performance of the tool.Issues related to the runtime performance of the tool.

Status: Open.

#667 In GaloisInc/grease;

· langston-barrett opened on Apr 28, 2026

build: Drop lens in favor of microlens

area/depsArea: Dependencies (e.g., submodules or Hackage dependencies)Area: Dependencies (e.g., submodules or Hackage dependencies)

Status: Open.

#666 In GaloisInc/grease;

· langston-barrett opened on Apr 28, 2026

refactor: Move Grease.GitRev and Grease.Version into grease-cli

area/cliArea: Command-line interfaceArea: Command-line interface

size/small

type/refactor

Status: Open.

#663 In GaloisInc/grease;

· langston-barrett opened on Apr 28, 2026

doc: Document usage with cartographer plugin

area/docsImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#660 In GaloisInc/grease;

· langston-barrett opened on Apr 27, 2026

Add a test with a jump table

area/testsIssues related to the GREASE test suite.Issues related to the GREASE test suite.

status/needs testStatus: Has a MCVE, but needs it to be checked into the repo as a testStatus: Has a MCVE, but needs it to be checked into the repo as a test

Status: Open.

#658 In GaloisInc/grease;

· langston-barrett opened on Apr 24, 2026

macaw: Improve behavior on unconstrained loads

area/macawArea: Binaries of any architecture/object formatArea: Binaries of any architecture/object format

topic/performanceIssues related to the runtime performance of the tool.Issues related to the runtime performance of the tool.

Status: Open.

#657 In GaloisInc/grease;

· langston-barrett opened on Apr 24, 2026

cli: --file, --stdin flags

area/cliArea: Command-line interfaceArea: Command-line interface

area/symioRelating to symbolic I/ORelating to symbolic I/O

size/small

Status: Open.

#652 In GaloisInc/grease;

· langston-barrett opened on Apr 22, 2026