Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-10-11 | add struct_ctx field to isl_set and isl_map | Sven Verdoolaege | 1 | -54/+33 |
2008-08-25 | isl_basic_map_affine_hull: compute integer affine hull | Sven Verdoolaege | 1 | -0/+2 |
2008-08-25 | add convex hull computation | Sven Verdoolaege | 1 | -0/+11 |
2008-08-25 | remove obviously redundant divs based on inequalities | Sven Verdoolaege | 1 | -0/+3 |
2008-08-25 | isl_map_affine_hull: perform affine hull on underlying set | Sven Verdoolaege | 1 | -0/+5 |
2008-08-25 | extract isl_map_align_divs from isl_affine_hull.c | Sven Verdoolaege | 1 | -0/+1 |
2008-08-25 | add isl_map_remove_empty_parts | Sven Verdoolaege | 1 | -0/+5 |
2008-08-25 | add isl_basic_set_read_from_file | Sven Verdoolaege | 1 | -0/+4 |
2008-08-25 | remove_duplicate_constraints: also detect implicit equalites and conflicting ... | Sven Verdoolaege | 1 | -0/+2 |
2008-08-25 | isl_basic_set_sample: remove equalities first | Sven Verdoolaege | 1 | -0/+6 |
2008-08-08 | Initial version of the integer set library | Sven Verdoolaege | 1 | -0/+32 |