Changes between Version 133 and Version 134 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jul 26, 2010 10:36:19 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v133 v134  
    175175-------------------------- 
    176176== Not sure what to do about these == 
     177 * #2607: space leak: inlining defeats selector thunk optimisation 
    177178 * #2284: the state-hack "optimisation" causes much re-computation 
    178179 * #3872: divergence in simplifier