summaryrefslogtreecommitdiff
path: root/isl_map_simplify.c
AgeCommit message (Expand)AuthorFilesLines
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
2011-05-05rename *_fast_* functions to *_plain_*Sven Verdoolaege1-16/+23
2011-04-21change isl_mat_sub_alloc prototypeSven Verdoolaege1-5/+5
2011-03-16hide isl_ctx internalsSven Verdoolaege1-0/+1
2011-02-21isl_basic_map_gist: prefer contraints without existentially quantified variablesSven Verdoolaege1-0/+8
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-1/+1
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-2/+2
2010-11-15isl_basic_map_eliminate_vars: don't detect divs while removing duplicate cons...Sven Verdoolaege1-5/+6
2010-10-26isl_map_gist_basic_map: drop empty pieces in resultSven Verdoolaege1-1/+7
2010-10-26rename isl_map_remove to isl_map_remove_dimsSven Verdoolaege1-1/+1
2010-10-17compute explicit divs for context before calling isl_basic_map_gistSven Verdoolaege1-0/+1
2010-10-06isl_basic_map_gauss: normalize resulting constraintsSven Verdoolaege1-0/+2
2010-09-04add public API for matricesSven Verdoolaege1-0/+1
2010-08-11isl_map_gist: also perform gist in universe contextSven Verdoolaege1-8/+0
2010-08-02hide isl_dim internalsSven Verdoolaege1-0/+1
2010-07-31isl_dim: allow specification of tuple namesSven Verdoolaege1-4/+4
2010-07-30isl_map_gist: use simple hull instead of convex hullSven Verdoolaege1-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-19 01:22:49 +0000