Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2009-07-16 | isl_tab: drop isl_ctx argument where not absolutely required | Sven Verdoolaege | 1 | -29/+18 |
2009-07-15 | export isl_tab_sample_is_integer | Sven Verdoolaege | 1 | -0/+1 |
2009-07-13 | isl_tab: don't create new undo records during rollback | Sven Verdoolaege | 1 | -0/+1 |
2009-07-13 | isl_tab: optionally save dual solution | Sven Verdoolaege | 1 | -1/+5 |
2009-07-13 | isl_tab: add isl_tab_add_valid_eq | Sven Verdoolaege | 1 | -0/+2 |
2009-07-13 | export isl_tab_alloc | Sven Verdoolaege | 1 | -0/+2 |
2009-05-06 | isl_tab.c: add isl_tab_get_sample_value | Sven Verdoolaege | 1 | -0/+3 |
2009-03-23 | isl_tab.c: store number of equalities among the constraints in tableau | Sven Verdoolaege | 1 | -0/+1 |
2009-03-20 | isl_tab.c: don't detect equalities while setting up tableau | Sven Verdoolaege | 1 | -1/+0 |
2009-03-20 | add internal representation of LP tableaus | Sven Verdoolaege | 1 | -0/+145 |