| isl_basic_set_sample: break early if sample found in basic_set_range |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| export isl_tab_sample_is_integer |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_basic_set_sample: check sample stored by isl_basic_map_is_empty first |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_basic_map_is_empty: remove stale sample |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_sample.c: clean up handling of lineality space |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_sample.c: interval_sample: drop redundant argument |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_coalesce.c: fix typo |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_sample.c: extract out sample_eq |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_sample.c: interval_sample: handle equalities directly |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_sample.c: extract out empty_sample |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_sample.c: generalize point_sample to zero_sample |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_tab: don't create new undo records during rollback |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_tab_min: use general rollback mechanism |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_tab: optionally save dual solution |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_tab: add isl_tab_add_valid_eq |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| export isl_tab_alloc |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| add isl_int_le |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| privately export isl_basic_set_recession_cone |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_convex_hull.c: add missing assignment |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| privately export isl_basic_set_lineality_space |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_vec: keep track of isl_ctx |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| introduce generalized basis reduction based sampling |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| add isl_polyhedron_sample application |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| update piplib for change in configure arguments |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_input_omega.c: make variable_{free,new} static |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_map.c: make add_divs static |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_map_coalesce: remove extra divs introduced by isl_map_align_divs |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_map.c: order_divs: swap with correct div |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_basic_map_detect_equalities: properly handle empty basic sets |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
| isl_basic_map_is_empty: explicitly mark basic sets determined to be empty |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
