haskell/hoopl

Higher-order optimization library

Open All

8 open issues indexed

Stateful transformation causes non-termination in Hoopl analysis. Open

haskell/hoopl#1 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Runtime error caused by fromJust in module Dataflow Open

haskell/hoopl#32 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Interleaving of multiple passes Open

haskell/hoopl#39 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Interleaving multiple transfer functions using the same type of fact? Open

haskell/hoopl#40 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
More advanced lattices for more precise analysis Open

haskell/hoopl#41 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Passes using multiple types of facts (aka snooping) Open

haskell/hoopl#42 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Hoopl collection classes could use enummapset? Open

haskell/hoopl#53 · 6 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Inconsistency between paper and library Open

haskell/hoopl#58 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026

Get new issues in your inbox