Changes between Version 50 and Version 51 of Supercompilation


Ignore:
Timestamp:
Nov 11, 2009 11:52:08 PM (6 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v50 v51  
    1717== Open shortcomings == 
    1818 
    19 * Msg on new terms 
    20  
    21   * Change representation in rho 
     19* Change representation in rho 
    2220 
    2321* case var subst 
     
    8987 * Refined whistle-blowing test 
    9088 * Write split in the R form. 
    91 * Write msg in the R form.  Still with eager substitution 
     89 * Write msg in the R form.  Still with eager substitution 
    9290 * add logging (one line per specialisation start, and completion) 
    9391 * Use a record for the memo table contents