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


Ignore:
Timestamp:
Jan 24, 2013 11:15:34 PM (3 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!!