Changes between Version 165 and Version 166 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Nov 17, 2010 11:19:49 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v165 v166  
    5151 
    5252=== Other performance === 
     53 * #2607: space leak: inlining defeats selector thunk optimisation 
    5354 * #4470: merge identical counters 
    5455 * #2439: Strict dictionaries 
     
    208209-------------------------- 
    209210== Not sure what to do about these == 
    210  * #2607: space leak: inlining defeats selector thunk optimisation 
    211211 * #2284: the state-hack "optimisation" causes much re-computation 
    212212 * #3872: divergence in simplifier