Search results

Inconsistency between paper and library

Status: Open.

#58 In haskell/hoopl;

· flip111 opened on Mar 22, 2024

Hoopl collection classes could use enummapset?

Status: Open.

#53 In haskell/hoopl;

· hth313 opened on Oct 31, 2020

Passes using multiple types of facts (aka snooping)

Status: Open.

#42 In haskell/hoopl;

· spacekitteh opened on Apr 25, 2017

More advanced lattices for more precise analysis

Status: Open.

#41 In haskell/hoopl;

· spacekitteh opened on Apr 25, 2017

Interleaving multiple transfer functions using the same type of fact?

Status: Open.

#40 In haskell/hoopl;

· spacekitteh opened on Apr 25, 2017

Interleaving of multiple passes

Status: Open.

#39 In haskell/hoopl;

· spacekitteh opened on Apr 25, 2017

Runtime error caused by fromJust in module Dataflow

Status: Open.

#32 In haskell/hoopl;

· anakreontas opened on May 21, 2016

Stateful transformation causes non-termination in Hoopl analysis.

Status: Open.

#1 In haskell/hoopl;

· mlite opened on Apr 17, 2015