summaryrefslogtreecommitdiff
path: root/isl_convex_hull.c
AgeCommit message (Expand)AuthorFilesLines
2012-09-17add isl_set_unshifted_simple_hullSven Verdoolaege1-19/+54
2012-09-15isl_convex_hull.c: initial_facet_constraint: avoid invalid access on error pathSven Verdoolaege1-1/+1
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
2012-02-15isl_convex_hull.c: uset_convex_hull_wrap_bounded: remove redundant constraintsSven Verdoolaege1-0/+1
2012-01-16isl_tab_from_basic_map: preserve all constraints in input when trackingSven Verdoolaege1-3/+3
2012-01-15isl_map_simple_hull: improve error handlingSven Verdoolaege1-0/+3
2011-11-13hide isl_options structureSven Verdoolaege1-0/+1
2011-09-03rename isl_dim to isl_spaceSven Verdoolaege1-17/+17
2011-07-28add isl_map_set_rationalSven Verdoolaege1-8/+13
2011-06-30add isl_set_remove_redundanciesSven Verdoolaege1-0/+13
2011-05-25isl_convex_hull.c: remove unused set_project_outSven Verdoolaege1-7/+0
2011-05-25isl_convex_hull.c: remove unused swap_ineqSven Verdoolaege1-11/+0
2011-05-05rename *_fast_* functions to *_plain_*Sven Verdoolaege1-1/+1
2011-04-21change isl_mat_sub_alloc prototypeSven Verdoolaege1-2/+2
2011-03-16hide isl_ctx internalsSven Verdoolaege1-0/+1
2011-02-13add isl_basic_map_set_rationalSven Verdoolaege1-8/+15
2011-02-10isl_convex_hull.c: explicitly mark wrapping lp problem as rationalSven Verdoolaege1-0/+1
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-1/+1
2011-01-18isl_set_convex_hull: optionally use Fourier-Motzkin based algorithmSven Verdoolaege1-1/+5
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-4/+4
2010-11-06add isl_union_set_polyhedral_hullSven Verdoolaege1-0/+13
2010-10-26rename isl_map_remove to isl_map_remove_dimsSven Verdoolaege1-3/+3
2010-09-04add public API for matricesSven Verdoolaege1-1/+1
2010-08-06isl_set_wrap_facet: normalize resulting facet constraintSven Verdoolaege1-0/+1
2010-08-04add isl_basic_map_image_is_boundedSven Verdoolaege1-0/+19
2010-07-05isl_convex_hull.c: avoid side-effects in calls to isl_int_* macrosSven Verdoolaege1-12/+14
2010-06-26isl_convex_hull.c: initial_facet_constraint: fix error handlingSven Verdoolaege1-1/+3
2010-06-26rename isl_basic_map_convex_hull to isl_basic_map_remove_redundanciesSven Verdoolaege1-6/+8
2010-06-26isl_map_convex_hull: avoid NULL pointer dereferenceSven Verdoolaege1-0/+2
2010-06-26isl_convex_hull.c: extend: fix error handlingSven Verdoolaege1-1/+3
2010-06-26isl_convex_hull.c: uset_convex_hull_wrap_bounded: fix error handlingSven Verdoolaege1-3/+3
2010-06-26isl_set_wrap_facet: fix error handlingSven Verdoolaege1-4/+10
2010-06-26isl_map_convex_hull: avoid NULL pointer dereferenceSven Verdoolaege1-0/+2
2010-06-26isl_convex_hull.c: isl_basic_set_add_equality: avoid NULL pointer dereferenceSven Verdoolaege1-0/+3
2010-06-26isl_convex_hull.c: compute_facet: avoid NULL pointer dereferenceSven Verdoolaege1-1/+2
2010-06-12isl_tab_detect_implicit_equalities: return integer instead of struct isl_tab *Sven Verdoolaege1-1/+2
2010-06-12export isl_set_is_boundedSven Verdoolaege1-2/+9
2010-05-30remove some unused variablesSven Verdoolaege1-1/+0
2010-05-13privately export isl_set_is_boundedSven Verdoolaege1-1/+6
2010-04-28isl_convex_hull.c: is_bound: any inequality is a bound on an empty setSven Verdoolaege1-1/+1
2010-04-28isl_convex_hull.c: add_bounds: propagate errors from add_boundSven Verdoolaege1-2/+2
2010-04-19isl_map_convex_hull: handle non full-dimensional pairs of basic setsSven Verdoolaege1-1/+14
2010-04-19isl_convex_hull.c: modulo_affine_hull: drop redundant argumentSven Verdoolaege1-2/+2
2010-04-19isl_convex_hull.c: convex_hull_pair: skip direction change if result is boundedSven Verdoolaege1-1/+17
2010-03-24isl_convex_hull.c: valid_direction: properly normalize valid directionSven Verdoolaege1-2/+2
2010-03-23isl_convex_hull.c: simplify computation of initial facet constraintSven Verdoolaege1-183/+37
2010-03-04isl_set_wrap_facet: make sure set is marked rationalSven Verdoolaege1-0/+1
2010-02-08privately export isl_set_wrap_facetSven Verdoolaege1-3/+4
2010-02-08isl_convex_hull.c: wrap_facet: allow unbounded facets again.Sven Verdoolaege1-3/+5
2010-02-03rename isl_{map,set}_add to isl_{map,set}_add_basic_{map,set}Sven Verdoolaege1-8/+8
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-19 04:58:27 +0000