Changes between Version 268 and Version 269 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 11, 2012 10:06:53 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v268 v269  
    8484 * #3138: returning a known constructor (Lennart's cmonad package) 
    8585 * #2988: better float-in 
    86  * #2132: Optimise nested comparisons: if you know x>0 then you know x>=1 etc.  Maybe a special pass that knows about arithmetic?        
     86 * #2132: Optimise nested comparisons: if you know x>0 then you know x>=1 etc.  Maybe a special pass that knows about arithmetic?  (Patch offered) 
    8787 * #2289, #2387, #1600: nested CPR analysis      
    8888 * #2255, #3767, #2642, #3831, #4941: Improve '''`SpecConstr`''' for free variables, and for join points.