Search results

ci: Enable <code>-Werror=compat -Werror=default</code>

Status: Open.

#526 In GaloisInc/macaw;

· langston-barrett opened on Aug 13, 2025

<code>aarch32</code>: Orphan instance

arch:aarch32AArch32 (32 bit ARM) issuesAArch32 (32 bit ARM) issues

Status: Open.

#525 In GaloisInc/macaw;

· langston-barrett opened on Aug 13, 2025

<code>Pretty</code> instance for <code>MacawError</code>

Status: Open.

#522 In GaloisInc/macaw;

· langston-barrett opened on Aug 5, 2025

Return a <code>Word64</code> from <code>loadRegionBaseOffset</code>

Status: Open.

#518 In GaloisInc/macaw;

· langston-barrett opened on Jul 24, 2025

<code>Memory</code>: Remove bare <code>Monad m</code> constraints

Status: Open.

#517 In GaloisInc/macaw;

· langston-barrett opened on Jul 24, 2025

DWARF: Evaluate constant subranges

Status: Open.

#508 In GaloisInc/macaw;

· 2over12 opened on Jul 1, 2025

DWARF: parse array type count attribute

Status: Open.

#507 In GaloisInc/macaw;

· 2over12 opened on Jul 1, 2025

<code>Data.Macaw.Dwarf</code>: Clarify abstraction boundaries for <code>CompileUnit</code>

tech-debtTechnical debt that would be nice to clean upTechnical debt that would be nice to clean up

Status: Open.

#506 In GaloisInc/macaw;

· RyanGlScott opened on Jun 30, 2025

Suboptimal interaction between the lazy memory model and online backend

performanceIssues related to runtime or simulation-time performanceIssues related to runtime or simulation-time performance

symbolic-executionIssues relating to macaw-symbolic and symbolic executionIssues relating to macaw-symbolic and symbolic execution

Status: Open.

#504 In GaloisInc/macaw;

· langston-barrett opened on Jun 18, 2025

ci: Upgrade Cabal

ci

Status: Open.

#500 In GaloisInc/macaw;

· langston-barrett opened on May 30, 2025

ci: Migrate to GitHub-hosted runners

ci

Status: Open.

#499 In GaloisInc/macaw;

· langston-barrett opened on May 30, 2025

ci: Haddock build fails with strange error

ci

Status: Open.

#497 In GaloisInc/macaw;

· langston-barrett opened on May 30, 2025