Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2009-10-09 | isl_tab: keep (in)equalities of bset (if any) in sync | Sven Verdoolaege | 1 | -6/+15 |
2009-10-07 | isl_tab_basic_map_partial_lexopt: simplify result | Sven Verdoolaege | 1 | -2/+1 |
2009-10-07 | privately export isl_basic_set_add_{in,}eq | Sven Verdoolaege | 1 | -37/+0 |
2009-10-02 | add isl_basic_map_foreach_lexmin | Sven Verdoolaege | 1 | -3/+220 |
2009-09-13 | make some internal functions static | Sven Verdoolaege | 1 | -1/+1 |
2009-09-06 | isl_tab_pip.c: remove unused variables | Sven Verdoolaege | 1 | -6/+0 |
2009-09-06 | isl_assert: validate all arguments and fix up fallout | Sven Verdoolaege | 1 | -3/+6 |
2009-09-06 | isl_tab_pip.c: add missing include | Sven Verdoolaege | 1 | -0/+1 |
2009-09-04 | pilp solver: don't ignore feasibility test on context | Sven Verdoolaege | 1 | -37/+53 |
2009-08-28 | add isl_vec_normalize | Sven Verdoolaege | 1 | -4/+4 |
2009-08-07 | add an internal parametric integer linear program solver | Sven Verdoolaege | 1 | -0/+2576 |