Permalink
Commits on Sep 10, 2012
  1. [fix] runtime, jsrenaming: Define also code_elt tagged as 'k' since '…

    …{k}' and {k i} was merged
    BourgerieQuentin committed Sep 10, 2012
Commits on Sep 7, 2012
  1. [fix] compiler, ei, ll: Since the runtime gamma is 'deep' shared, lam…

    …bda lifting need to deep load its gamma + thus remove useless ei memo depends
    BourgerieQuentin committed Sep 7, 2012
Commits on Sep 6, 2012
  1. [doc] changelog: update

    Niki Vazou committed Sep 6, 2012
  2. [fix] w_typer: add extendwith to expansive nodes

    Niki Vazou committed Sep 6, 2012
Commits on Sep 5, 2012