Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2009-12-16 | add copyright statements | Sven Verdoolaege | 1 | -0/+9 |
2009-10-21 | isl_basic_set_solve_ilp: handle obviously empty sets | Sven Verdoolaege | 1 | -0/+3 |
2009-10-21 | isl_basic_set_solve_ilp: fix handling of sets with equalities | Sven Verdoolaege | 1 | -1/+3 |
2009-10-08 | isl_ilp.c: separate out solve_ilp_search | Sven Verdoolaege | 1 | -47/+67 |
2009-09-13 | rename isl_basic_set_sample to isl_basic_set_sample_vec | Sven Verdoolaege | 1 | -2/+2 |
2009-09-13 | make some internal functions static | Sven Verdoolaege | 1 | -1/+1 |
2009-08-28 | add generalized basis reduction based ILP solver | Sven Verdoolaege | 1 | -0/+298 |