2009-03-20 | Sven Verdoolaege | add internal representation of LP tableaus |
commit | commitdiff | tree |
2009-03-20 | Sven Verdoolaege | isl_basic_set_has_defining_inequalities: fix typo |
commit | commitdiff | tree |
2009-02-22 | Sven Verdoolaege | add isl_map_remove |
commit | commitdiff | tree |
2009-02-22 | Sven Verdoolaege | add isl_dim_add |
commit | commitdiff | tree |