Changes between Version 379 and Version 380 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Sep 20, 2013 11:29:44 AM (7 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v379 v380  
    4343 
    4444== Optimisation == 
     45 * #8335: more gc entry points 
    4546 * #8327: dead code (in heap checks) not eliminated by C-- 
    4647 * #8317, #8326: don't push heapchecks into case branches too aggressively