2008-08-25 | Sven Verdoolaege | isl_basic_map_gauss: handle redundant or conflicting... | commit | commitdiff | tree | snapshot |
2008-08-25 | Sven Verdoolaege | Fix typo in isl_map_affine_hull | commit | commitdiff | tree | snapshot |
2008-08-24 | Sven Verdoolaege | Fix serious bug in normalize_constraints | commit | commitdiff | tree | snapshot |
2008-08-07 | Sven Verdoolaege | Initial version of the integer set library | commit | commitdiff | tree | snapshot |