summaryrefslogtreecommitdiff
path: root/isl_affine_hull.c
AgeCommit message (Expand)AuthorFilesLines
2009-09-06isl_affine_hull.c: remove unused variableSven Verdoolaege1-2/+0
2009-09-06isl_assert: validate all arguments and fix up falloutSven Verdoolaege1-1/+1
2009-08-13isl_basic_map_detect_equalities: explicitly keep track of any equalities foundSven Verdoolaege1-1/+11
2009-08-07isl_affine_hull.c: only construct affine hull in bounded directionsSven Verdoolaege1-54/+173
2009-07-16isl_tab: drop isl_ctx argument where not absolutely requiredSven Verdoolaege1-2/+2
2009-07-16isl_mat: keep track of isl_ctxSven Verdoolaege1-3/+1
2009-07-13privately export isl_basic_set_recession_coneSven Verdoolaege1-2/+6
2009-07-13isl_vec: keep track of isl_ctxSven Verdoolaege1-12/+13
2009-06-07isl_basic_map_detect_equalities: properly handle empty basic setsSven Verdoolaege1-0/+4
2009-03-20add isl_map_implicit_equalitiesSven Verdoolaege1-0/+19
2009-03-20uset_affine_hull: ignore directions in affine hull of recession coneSven Verdoolaege1-0/+64
2009-03-20isl_basic_map_implicit_equalities: perform Gaussian elimination on resultSven Verdoolaege1-0/+1
2009-03-20isl_affine_hull.c: outside_point: check for obvious candidate firstSven Verdoolaege1-1/+18
2009-03-20isl_affine_hull.c: extract uset_affine_hullSven Verdoolaege1-23/+44
2009-03-20isl_map_affine_hull: detect equalities of integer affine hull before cowingSven Verdoolaege1-27/+28
2009-03-20isl_basic_map_extend_dim: move responsibility of cow'ing to the callerSven Verdoolaege1-0/+1
2009-03-20isl_affine_hull.c: use tableau to detect implicit equalitiesSven Verdoolaege1-36/+9
2009-03-20isl_{basic_,}set_preimage: drop ctx argumentSven Verdoolaege1-1/+1
2009-03-08isl_basic_map: put inequalities before equalitiesSven Verdoolaege1-4/+2
2009-03-08rename F_ and FL_ macros to ISL_F_ and ISL_FL_ to avoid name clashesSven Verdoolaege1-12/+12
2009-02-23add isl_basic_map_detect_equalitiesSven Verdoolaege1-28/+106
2009-02-22isl_basic_map_affine_hull: fix search for integer pointsSven Verdoolaege1-5/+12
2008-12-14introduce isl_dim structure for representing shared dimension informationSven Verdoolaege1-13/+19
2008-10-12isl_basic_map_affine_hull: allow computation of affine hull of rational setsSven Verdoolaege1-1/+17
2008-10-11add struct_ctx field to isl_set and isl_mapSven Verdoolaege1-63/+62
2008-08-25isl_basic_map_affine_hull: compute integer affine hullSven Verdoolaege1-22/+152
2008-08-25add convex hull computationSven Verdoolaege1-1/+1
2008-08-25isl_map_affine_hull: perform affine hull on underlying setSven Verdoolaege1-68/+85
2008-08-25affhull: simplify before finalizeSven Verdoolaege1-2/+2
2008-08-25extract isl_map_align_divs from isl_affine_hull.cSven Verdoolaege1-6/+2
2008-08-25extract out isl_basic_map_implicit_equalities from isl_basic_map_affine_hullSven Verdoolaege1-5/+25
2008-08-25isl_map_affine_hull: add missing cowSven Verdoolaege1-0/+1
2008-08-25rename isl_map_affine_hull.c to isl_affine_hull.cSven Verdoolaege1-0/+257