summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2009-06-05add isl_map_coalesceSven Verdoolaege2-218/+229
2009-05-19add isl_set_productSven Verdoolaege2-0/+9
2009-05-19export isl_map_dimSven Verdoolaege1-0/+1
2009-05-06isl_map_convex_hull: handle unbounded, but pointed, case using wrappingSven Verdoolaege3-2/+294
2009-05-06privately export isl_mat_unimodular_completeSven Verdoolaege3-28/+31
2009-05-06isl_tab.c: add isl_tab_get_sample_valueSven Verdoolaege2-0/+39
2009-05-06isl_map_convex_hull: avoid introducing lineality spaces in convex hull of pairsSven Verdoolaege1-86/+209
2009-05-06add two more convex hull test casesSven Verdoolaege3-0/+31
2009-05-06isl_map_convex_hull: remove lineality space if any before computing convex hullSven Verdoolaege1-3/+138
2009-05-06add isl_basic_set_is_universeSven Verdoolaege2-0/+8
2009-05-06add isl_set_get_dimSven Verdoolaege2-0/+8
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-05-05isl_coalesce.c: fix typo in commentSven Verdoolaege1-1/+1
2009-05-05isl_tab.c: fix typo in commentSven Verdoolaege1-1/+1
2009-05-05configure.in: set AC_CONFIG_MACRO_DIRSven Verdoolaege1-0/+1
2009-03-23add isl_basic_set_get_dimSven Verdoolaege2-0/+9
2009-03-23isl_basic_map_gist: normalize divs (if any) in contextSven Verdoolaege1-10/+60
2009-03-23isl_basic_map_simplify: remove duplicate divs before dropping divsSven Verdoolaege1-1/+1
2009-03-23add isl_basic_set_divSven Verdoolaege2-0/+7
2009-03-23change calling convention of isl_basic_map_divSven Verdoolaege3-7/+8
2009-03-23isl_map_simplify.c: uset_gist: break early if there are no inequalitiesSven Verdoolaege1-0/+5
2009-03-23isl_map_simplify.c: uset_gist: break early if intersection is emptySven Verdoolaege1-0/+2
2009-03-23add isl_basic_set_fast_is_emptySven Verdoolaege2-0/+8
2009-03-23update piplib to 1.4.0Sven Verdoolaege1-0/+0
2009-03-23isl_tab.c: store number of equalities among the constraints in tableauSven Verdoolaege3-5/+5
2009-03-23isl_mat_extend: properly extend matrices with reordered rowsSven Verdoolaege1-1/+5
2009-03-20isl_map_gist: handle some special casesSven Verdoolaege1-1/+34
2009-03-20add isl_map_universeSven Verdoolaege2-0/+11
2009-03-20add isl_basic_map_fast_is_emptySven Verdoolaege2-0/+8
2009-03-20isl_basic_map_gist: replace by new version based on tableausSven Verdoolaege1-82/+161
2009-03-20isl_map_simplify.c: compute_elimination_index: don't assume equalities are in...Sven Verdoolaege1-2/+5
2009-03-20add isl_map_implicit_equalitiesSven Verdoolaege1-0/+19
2009-03-20add isl_basic_set_free_equalitySven Verdoolaege2-0/+6
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-20add isl_set_coalesceSven Verdoolaege4-0/+694
2009-03-20isl_input_omega.c: basic_map_read: accept "+" in constraintsSven Verdoolaege1-0/+2
2009-03-20add isl_basic_set_alloc_divSven Verdoolaege2-0/+6
2009-03-20add isl_set_align_divsSven Verdoolaege2-0/+6
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-20privately export isl_basic_set_containsSven Verdoolaege2-0/+8
2009-03-20isl_ctx: add negoneSven Verdoolaege2-0/+5
2009-03-20isl_vec_dump: handle NULL vecSven Verdoolaege1-0/+6
2009-03-20isl_affine_hull.c: extract uset_affine_hullSven Verdoolaege1-23/+44
2009-03-20isl_mat_transpose: handle non-rectangular matricesSven Verdoolaege1-7/+17
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