Constant-propagation figure is now extracted automatically from John's code; some...
authorNorman Ramsey <nr@cs.tufts.edu>
Wed, 12 May 2010 19:00:00 +0000 (15:00 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Wed, 12 May 2010 19:00:00 +0000 (15:00 -0400)
commitbaee2acb7e4c5e49e855484c8be211c683da4734
treea89308ee6b84a4240d532ca08417e8bfa1c5d013
parentca284ecdb78fd268d287b8d545a60892127336a4
Constant-propagation figure is now extracted automatically from John's code; some names are saner

In particular

  suffix '3' for functions expecting or working with a triple
  no suffix for function expecting or working with higher-rank
     polymorphism (which is now explained in the paper as
     the default interface for clients).
15 files changed:
paper/.gitignore
paper/dfopt.tex
paper/mkfile
paper/xsource [new file with mode: 0755]
src/Compiler/Hoopl/Combinators.hs
src/Compiler/Hoopl/Dataflow.hs
src/Compiler/Hoopl/Debug.hs
src/Compiler/Hoopl/Passes/DList.hs
src/Compiler/Hoopl/Passes/Dominator.hs
src/hoopl.cabal
testing/ConstProp.hs
testing/Live.hs
testing/OptSupport.hs
testing/Simplify.hs
testing/Test.hs