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


Ignore:
Timestamp:
Jul 8, 2010 11:46:30 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v126 v127  
    9090------------------------ 
    9191== New constraint simplifier == 
     92 * #4178: unnecessary skolem escape check 
    9293 * #4093: constraint simplifier loops 
    9394 * #2296: position info for fundep message