Changes between Version 52 and Version 53 of Supercompilation


Ignore:
Timestamp:
Nov 15, 2009 4:38:06 AM (6 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.