Permalink
Switch branches/tags
Nothing to show
Commits on Aug 24, 2012
  1. [gvn_on_cps] typos

    committed Aug 24, 2012
  2. [gvn_on_cps] major rewrite

    Props to gasche for feedback!
    committed Aug 24, 2012
  3. [env.ml] s/env/e/ for shorter named parameters

    All applications are also fixed.
    committed Aug 24, 2012
  4. [gvn_on_cps] main fold

    A better explanation of the specificities of the prototype w.r.t. the original
    algorithm.
    committed Aug 24, 2012
Commits on Aug 23, 2012
  1. [gvn_on_cps] more

    committed Aug 23, 2012
  2. [gvn_on_cps] do not include main loop

    refer to implementation for details
    committed Aug 23, 2012
  3. [CPS_gvn] movable

    implements "movable" for "normal" nodes.
    committed Aug 23, 2012
  4. [CPS_gvn*] alpha-collision assertion checks

    also fixes/removes some TODO and FIXME comments
    committed Aug 23, 2012
Commits on Aug 22, 2012
  1. [CPS_gvn] merge_binds

    committed Aug 22, 2012
  2. [CPS_gvn] do not try to optimize loops

    Loops are more complicated than they seem.
    committed Aug 22, 2012
  3. [CPS_gvn] module split

    committed Aug 22, 2012
  4. [CPS_gvn] move

    committed Aug 22, 2012
Commits on Aug 21, 2012
  1. Merge branch 'master' of github.com:raphael-proust/cps-ssa

    Conflicts:
    	src/CPS_gvn.ml
    committed Aug 21, 2012
Commits on Aug 20, 2012
  1. [CPS_gvn] better assert_g

    committed Aug 20, 2012
  2. [GVN_cps] factor out code

    committed Aug 20, 2012
  3. [CPS_gvn] cosmetics

    Also removes fixpoint operation
    committed Aug 20, 2012
  4. [CPS_gvn] cosmetics

    committed Aug 20, 2012
  5. [CPS_gvn] driver

    Next: move
    committed Aug 20, 2012
  6. [CPS_gvn] trivial binding removal

    Not an exact match to the original design.
    committed Aug 20, 2012
Commits on Aug 17, 2012
Commits on Aug 16, 2012