haskell/hoopl

Issues

• Inconsistency between paper and library

  #58 opened 10 months ago by flip111
  0

• Hoopl collection classes could use enummapset?

  #53 opened 4 years ago by hth313
  6

• test build failure

  #50 opened 7 years ago by mihaimaruseac
  2

• Also revise test deps to allow base 4.11

  #46 opened 7 years ago by DanBurton
  0

• hoopl-3.10.2.2 test suite does not compile

  #47 opened 7 years ago by peti
  0

• Conditional jumps with fall-through not always ordered properly by postorder_dfs

  #44 opened 7 years ago by hth313
  4

• Upload tag v3.10.2.2 to Hackage

  #43 opened 7 years ago by tmcdonell
  3

• Interleaving multiple transfer functions using the same type of fact?

  #40 opened 8 years ago by spacekitteh
  1

• Interleaving of multiple passes

  #39 opened 8 years ago by spacekitteh
  1

• Passes using multiple types of facts (aka snooping)

  #42 opened 8 years ago by spacekitteh
  1

• More advanced lattices for more precise analysis

  #41 opened 8 years ago by spacekitteh
  1

• Runtime error caused by fromJust in module Dataflow

  #32 opened 9 years ago by anakreontas
  2

• Hoopl not mentioned on "Library submission" page

  #5 opened 9 years ago by jstolarek
  3

• Who are maintainers of Hoopl?

  #26 opened 9 years ago by jstolarek
  13

• Decide on coding style

  #24 opened 9 years ago by michalt
  23

• Migrate tests from test-framework to tasty

  #25 opened 9 years ago by jstolarek
  4

• Update website in cabal file

  #27 opened 9 years ago by jstolarek
  3

• Clean up the repository

  #6 opened 9 years ago by jstolarek
  5

• Please update cabal file on hackage to point to this issue tracker

  #14 opened 9 years ago by thomie
  3

• Stateful transformation causes non-termination in Hoopl analysis.

  #1 opened 10 years ago by mlite
  0