| isl_tab: allow saving and restoring the complete basis |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_tab: privately export some functionality |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_tab: store undo argument in a union for future extensions |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| add isl_tab_dup |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| export isl_mat_dup |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| privately export isl_basic_set_order_divs |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_map_simplify.c: remove_dependent_vars: only remove definitions of divs |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_basic_map_compute_divs: use isl_basic_set_lexmin and move to isl_map.c |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_pip_basic_map_compute_divs: don't turn divs into output dimensions |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| privately export isl_basic_map_swap_div |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_{set,map}_add: don't add obviously empty basic sets/maps |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| combine isl_pip_basic_map_lex{min,max} into isl_pip_basic_map_lexopt |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| add isl_map_get_dim |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| add isl_basic_map_get_dim |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| make piplib headers private |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_mat: keep track of the actual number of columns in a row |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_tab_pivot: fix typo that prevented normalization of rows |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| add isl_basic_set_positive_orthant |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| add isl_basic_set_partial_lex{min,max} |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| rename isl_basic_map_lex{min,max} to isl_basic_map_partial_lex{min,max} |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| add isl_basic_set_free_div |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_set_dim: support isl_dim_all |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_tab: store index of variable in undo record instead of pointer to variable |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| add isl_{set,map}_grow |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_tab.c: mark_redundant: only mark variable nonneg if they weren't already |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_tab.c: to_row: allow pivoting in arbitrary direction |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_tab.c: simplify code by letting mark_empty return tab |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| add isl_seq_last_non_zero |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_tab.c: simplify add_eq |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_tab.c: extract allocate_con |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
