Changes between Version 333 and Version 334 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 24, 2013 11:15:34 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v333 v334  
    3030 
    3131== Optimisation == 
     32 * #7561: profiled program runs faster than un-profiled one 
    3233 * #7378: (a) identical-alts when the RHSs are bigger; (b) nested comparisions (cf #2132) 
    3334 * #7511: inlining can make programs allocate MORE!!