Changes between Version 343 and Version 344 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Mar 8, 2013 10:06:48 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v343 v344  
    9292 * #4470: merge identical counters
    9393 * #2988: better float-in
    94  * #2255, #3767, #2642, #3831, #4941: Improve '''`SpecConstr`''' for free variables, and for join points.
     94 * #2255, #3767, #2642, #3831, #4941, #2598: Improve '''`SpecConstr`''' in various ways, including for free variables, and for join points.
    9595 * #2374: SAT and `MutableByteArray`    Max?
    9696 * #7080: inconsistent treatment of RULES and SPECIALISE