platform/upstream/isl.git
2008-08-25 Sven Verdoolaegeisl_map_subtract: simplify and finalize parts before...
2008-08-25 Sven Verdoolaegeisl_basic_map_gauss: handle redundant or conflicting...
2008-08-25 Sven VerdoolaegeFix typo in isl_map_affine_hull
2008-08-24 Sven VerdoolaegeFix serious bug in normalize_constraints
2008-08-07 Sven VerdoolaegeInitial version of the integer set library