summaryrefslogtreecommitdiff
path: root/isl_convex_hull.c
AgeCommit message (Expand)AuthorFilesLines
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
2009-12-18isl_convex_hull.c: initial_facet_constraint: drop all redundant bounds on faceSven Verdoolaege1-5/+51
2009-12-18isl_convex_hull.c: is_independent_bound: normalize boundsSven Verdoolaege1-3/+5
2009-12-18isl_convex_hull.c: extend: check hull argumentSven Verdoolaege1-0/+3
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-12-07isl_tab_detect_redundant: return status instead of isl_tab *Sven Verdoolaege1-1/+6
2009-10-08rename isl_tab_detect_equalities to isl_tab_detect_implicit_equalitiesSven Verdoolaege1-1/+1
2009-10-08isl_tab_from_recession_cone: take basic set instead of basic map as argumentSven Verdoolaege1-1/+1
2009-09-06isl_convex_hull.c: remove unused variablesSven Verdoolaege1-5/+1
2009-09-06isl_assert: validate all arguments and fix up falloutSven Verdoolaege1-5/+5
2009-09-06isl_convex_hull.c: use isl_seq_get_hash instead of isl_seq_hashSven Verdoolaege1-6/+5
2009-09-06declare flexarrays of size 1 to silence sun compilerSven Verdoolaege1-2/+3
2009-08-28isl_seq_normalize: use pre-allocated temporary variable in isl_ctxSven Verdoolaege1-1/+1
2009-08-28rename isl_solve_lp to isl_basic_{map,set}_solve_lpSven Verdoolaege1-3/+4
2009-08-28isl_solve_lp: optionally return solution pointSven Verdoolaege1-3/+3
2009-07-22privately export isl_basic_set_set_rationalSven Verdoolaege1-2/+1
2009-07-21convex_hull: coalesce set during facet computationSven Verdoolaege1-1/+1
2009-07-16isl_tab: drop isl_ctx argument where not absolutely requiredSven Verdoolaege1-12/+10
2009-07-16isl_mat: keep track of isl_ctxSven Verdoolaege1-69/+58
2009-07-13isl_tab: optionally save dual solutionSven Verdoolaege1-1/+1
2009-07-13isl_convex_hull.c: add missing assignmentSven Verdoolaege1-1/+1
2009-07-13privately export isl_basic_set_lineality_spaceSven Verdoolaege1-5/+6
2009-07-13isl_vec: keep track of isl_ctxSven Verdoolaege1-5/+5
2009-05-06isl_map_convex_hull: handle unbounded, but pointed, case using wrappingSven Verdoolaege1-2/+279
2009-05-06isl_map_convex_hull: avoid introducing lineality spaces in convex hull of pairsSven Verdoolaege1-86/+209
2009-05-06isl_map_convex_hull: remove lineality space if any before computing convex hullSven Verdoolaege1-3/+138
2009-05-05isl_convex_hull.c: update wrap_facet to the fact we only apply it on polytopesSven Verdoolaege1-5/+3
2009-05-05isl_convex_hull.c: fix typo in commentSven Verdoolaege1-1/+1
2009-03-20isl_map_convex_hull: mark result as not having any implicit equalitiesSven Verdoolaege1-0/+3
2009-03-20convex_hull: coalesce set firstSven Verdoolaege1-1/+1
2009-03-20isl_map_simple_hull: compute affine hull before aligning divsSven Verdoolaege1-10/+5
2009-03-20isl_map_simple_hull: mark result as not having any implicit equalitiesSven Verdoolaege1-0/+4
2009-03-20add isl_set_bounded_simple_hullSven Verdoolaege1-0/+80
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 19:24:43 +0000