Changes between Version 52 and Version 53 of Supercompilation


Ignore:
Timestamp:
Nov 15, 2009 4:38:06 AM (4 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v52 v53  
    7676 
    7777Later 
    78  * Faster representation for memo table; a finite map driven by the head function 
    7978 * Use idUnfolding and a bitmap for letrec/toplevel things instead of traversing the binds list. 
    8079 * Using lazy substitutions 
     
    8483 * Neil does "evaluation" before specialising, to expose more values to let, and maybe make lets into linear lets.  We don't. Yet. 
    8584 
    86 Done  
     85Done 
     86 * Faster representation for memo table; a finite map driven by the head function  
    8787 * Refined whistle-blowing test 
    8888 * Write split in the R form.