Changes between Version 127 and Version 128 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
07/08/10 05:30:36 (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v127 v128  
    9191== New constraint simplifier == 
    9292 * #4178: unnecessary skolem escape check 
     93 * #4174: bad error message 
    9394 * #4093: constraint simplifier loops 
    9495 * #2296: position info for fundep message