Changes between Version 182 and Version 183 of Status/SLPJ-Tickets
- Timestamp:
- 02/01/11 03:30:31 (2 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Status/SLPJ-Tickets
v182 v183 65 65 * #2289, #2387, #1600: nested CPR analysis 66 66 * #2092: Possible quadratic-sized Eq instances. Does it really go quadratic, or does the join-point inlining machinery prevent it? Still to check: delicacy wrt case-of-case 67 * #2255, #3767, #2642, #3831 : Improve '''`SpecConstr`''' for free variables, and for join points.67 * #2255, #3767, #2642, #3831, #4941: Improve '''`SpecConstr`''' for free variables, and for join points. 68 68 * #2374: SAT and `MutableByteArray` Max? 69 69
