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


Ignore:
Timestamp:
Jul 8, 2010 12:30:36 PM (5 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