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