Changes between Version 115 and Version 116 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 24, 2010 10:44:43 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v115 v116  
    162162 * #2284: the state-hack "optimisation" causes much re-computation
    163163 * #3872: divergence in simplifier
     164 * #4005: generational GC pathalogical case