Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2010-06-26 | isl_tab_add_valid_eq: return int instead of isl_tab * | Sven Verdoolaege | 1 | -1/+2 |
2010-05-13 | add isl_set_count_upto | Sven Verdoolaege | 1 | -4/+21 |
2010-05-13 | add isl_set_scan | Sven Verdoolaege | 1 | -12/+24 |
2010-03-04 | add isl_set_count | Sven Verdoolaege | 1 | -0/+75 |
2010-03-04 | isl_basic_set_scan: make sure sufficient rows are allocated in tableau | Sven Verdoolaege | 1 | -0/+2 |
2009-12-16 | add copyright statements | Sven Verdoolaege | 1 | -0/+9 |
2009-10-21 | extract isl_basic_set_scan from polytope_scan.c | Sven Verdoolaege | 1 | -0/+160 |