Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2010-03-04 | privately export isl_set_contains_point | Sven Verdoolaege | 1 | -43/+8 |
2010-03-04 | isl_map_subtract: only add divs when needed | Sven Verdoolaege | 1 | -39/+141 |
2010-03-04 | add isl_set_complement | Sven Verdoolaege | 1 | -0/+12 |
2010-02-03 | isl_map_subtract.c: make some internal functions static | Sven Verdoolaege | 1 | -2/+2 |
2010-01-31 | add private isl_{set,map}_make_disjoint | Sven Verdoolaege | 1 | -0/+41 |
2009-12-16 | add copyright statements | Sven Verdoolaege | 1 | -0/+9 |
2009-12-08 | isl_map_is_subset: break off as soon as difference is known to be non-empty | Sven Verdoolaege | 1 | -6/+70 |
2009-12-08 | compute set difference using a backtracking algorithm | Sven Verdoolaege | 1 | -91/+337 |
2009-12-07 | isl_map_subtract.c: extract from isl_map.c | Sven Verdoolaege | 1 | -0/+349 |