summaryrefslogtreecommitdiff
path: root/isl_map_simplify.c
AgeCommit message (Expand)AuthorFilesLines
2013-06-14isl_map_gist_basic_map: remove alignment of context divs with all basic mapsSven Verdoolaege1-2/+0
2013-06-10Merge branch 'maint'Sven Verdoolaege1-0/+2
2013-06-05isl_basic_map_gist: avoid invalid access on error pathSven Verdoolaege1-0/+2
2013-04-22isl_map_simplify.c: normalize_divs_in_context: improve error handlingSven Verdoolaege1-0/+2
2013-04-22isl_map_simplify.c: div_is_redundant: ignore coefficients of unknown divsSven Verdoolaege1-1/+4
2013-04-19isl_map_simplify.c: normalize_divs_in_context: improve error handlingSven Verdoolaege1-0/+2
2013-04-16isl_map_simplify.c: div_is_redundant: ignore coefficients of unknown divsSven Verdoolaege1-1/+4
2013-03-17Merge branch 'maint'Sven Verdoolaege1-0/+6
2013-03-15isl_basic_map_simplify: avoid infinite loop on empty inputSven Verdoolaege1-0/+4
2013-03-13isl_map_gist_basic_map: avoid invalid access on errorSven Verdoolaege1-0/+2
2013-02-19isl_map_simplify.c: check_for_div_constraints: also check for "better" onesSven Verdoolaege1-3/+33
2012-12-02isl_basic_map_eliminate_vars: avoid invalid access on errorSven Verdoolaege1-0/+2
2012-12-02isl_map_simplify.c: remove_dependent_vars: handle NULL inputSven Verdoolaege1-0/+3
2012-11-20isl_basic_map_gist: drop irrelevant constraints from the contextSven Verdoolaege1-0/+184
2012-11-20isl_map_simplify.c: fix typo in commentSven Verdoolaege1-1/+1
2012-10-14isl_map_plain_is_disjoint: handle inputs with different parametersSven Verdoolaege1-0/+29
2012-09-14isl_map_gist: special case universal and equal inputsSven Verdoolaege1-0/+38
2012-09-13add isl_set_is_disjointSven Verdoolaege1-0/+47
2012-09-13isl_map_plain_is_disjoint: special case obviously empty inputsSven Verdoolaege1-0/+9
2012-09-13isl_map_plain_is_disjoint: fix error handlingSven Verdoolaege1-2/+4
2012-09-06isl_basic_map_gauss: also set progress if a div expression has been detectedSven Verdoolaege1-0/+2
2012-09-06isl_map_simplify.c: remove_duplicate_divs: preserve known divsSven Verdoolaege1-1/+2
2012-09-03isl_basic_map_drop_redundant_divs: don't drop divs that appear in other divsSven Verdoolaege1-1/+10
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
2012-08-02isl_map_simplify.c: eliminate_var_using_equality: normalize divs after elimin...Sven Verdoolaege1-18/+37
2012-08-02add isl_basic_set_eliminateSven Verdoolaege1-0/+7
2012-08-02add isl_basic_{set,map}_insert_dimsSven Verdoolaege1-1/+1
2012-08-02isl_basic_map_simplify: eliminate known divs that appear with unit coefficientSven Verdoolaege1-0/+84
2012-08-02isl_basic_map_simplify: normalize div expressionsSven Verdoolaege1-0/+46
2012-07-27isl_map_eliminate: check for overflow in computation of last dimensionSven Verdoolaege1-1/+1
2012-07-11isl_*_eliminate: perform integer eliminationSven Verdoolaege1-5/+16
2012-02-07add isl_basic_set_is_div_constraintSven Verdoolaege1-0/+6
2012-01-16isl_tab_from_basic_map: preserve all constraints in input when trackingSven Verdoolaege1-2/+2
2011-11-06isl_map_gist: return empty set if context is obviously emptySven Verdoolaege1-6/+2
2011-11-04add isl_map_gist_rangeSven Verdoolaege1-0/+8
2011-11-02add isl_set_gist_params_basic_setSven Verdoolaege1-0/+9
2011-10-16add isl_map_gist_domainSven Verdoolaege1-0/+8
2011-10-10Run isl_basic_map_finalize after isl_{basic_,}map_eliminateAndreas Kloeckner1-1/+2
2011-10-02add isl_basic_map_eliminateSven Verdoolaege1-0/+24
2011-10-02Merge branch 'maint'Sven Verdoolaege1-0/+5
2011-10-01isl_basic_map_eliminate_vars: gauss resultSven Verdoolaege1-0/+5
2011-09-07add isl_set_gist_paramsSven Verdoolaege1-0/+14
2011-09-03rename isl_dim to isl_spaceSven Verdoolaege1-40/+41
2011-08-05Merge branch 'maint'Sven Verdoolaege1-1/+1
2011-08-05isl_basic_map_drop: properly handle nested spacesSven Verdoolaege1-1/+1
2011-07-20align parameters of arguments to binary isl_map and isl_pw_aff functionsSven Verdoolaege1-1/+7
2011-06-07Check the ctx argument of the memory macrosTobias Grosser1-0/+4
2011-06-05Fix <strings.h> includesTobias Grosser1-0/+1
2011-05-25isl_map_simplify.c: remove unused normalize_constraints_in_compressed_spaceSven Verdoolaege1-88/+0
2011-05-25isl_map_simplify.c: remove unused set_swap_inequalitySven Verdoolaege1-5/+0