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