Changes between Version 292 and Version 293 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jul 16, 2012 11:06:25 AM (21 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v292 v293  
    8282 * #2255, #3767, #2642, #3831, #4941: Improve '''`SpecConstr`''' for free variables, and for join points. 
    8383 * #2374: SAT and `MutableByteArray`    Max? 
     84 * #7080: inconsistent treatment of RULES and SPECIALISE 
    8485 
    8586=== Compiler performance ===