summaryrefslogtreecommitdiff
path: root/isl_map_simplify.c
AgeCommit message (Expand)AuthorFilesLines
2009-10-08rename isl_tab_detect_equalities to isl_tab_detect_implicit_equalitiesSven Verdoolaege1-1/+1
2009-09-12isl_map_simplify.c: break if set turns out to be empty during div coalescingSven Verdoolaege1-0/+11
2009-09-06isl_basic_set_normalize_constraints: add missing returnSven Verdoolaege1-1/+1
2009-09-06isl_map_simplify.c: remove unused variablesSven Verdoolaege1-4/+3
2009-09-06isl_map_simplify.c: drop return from void functionSven Verdoolaege1-1/+1
2009-09-06isl_map_simplify.c: add missing includeSven Verdoolaege1-0/+1
2009-09-01isl_basic_map_gauss: try not to remove any div definitionsSven Verdoolaege1-10/+16
2009-08-28isl_basic_map_drop_redundant_divs: also investigate divs that have a definitionSven Verdoolaege1-3/+4
2009-08-28isl_map_simplify.c: fix typo in commentSven Verdoolaege1-2/+2
2009-08-28isl_basic_set_project_out: drop redundant divs in resultSven Verdoolaege1-0/+31
2009-08-07isl_map_simplify.c: remove_dependent_vars: only remove definitions of divsSven Verdoolaege1-4/+4
2009-07-16isl_tab: drop isl_ctx argument where not absolutely requiredSven Verdoolaege1-16/+11
2009-07-16isl_mat: keep track of isl_ctxSven Verdoolaege1-16/+16
2009-07-13isl_tab: optionally save dual solutionSven Verdoolaege1-1/+1
2009-07-13isl_vec: keep track of isl_ctxSven Verdoolaege1-7/+7
2009-06-11isl_basic_map_drop_redundant_divs: coalesce divs if possibleSven Verdoolaege1-1/+240
2009-06-11isl_basic_map_drop_redundant_divs: set div expression if obvious from constra...Sven Verdoolaege1-3/+9
2009-06-11isl_basic_map_drop_redundant_divs: drop more kinds of redundant divsSven Verdoolaege1-3/+176
2009-06-11isl_map_compute_divs: drop obviously redundant divs firstSven Verdoolaege1-0/+88
2009-06-11isl_basic_map_simplify: detect div constraints while looking for duplicatesSven Verdoolaege1-1/+90
2009-06-07isl_basic_map_drop: properly handle dimensions of type isl_dim_divSven Verdoolaege1-2/+35
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-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-23isl_tab.c: store number of equalities among the constraints in tableauSven Verdoolaege1-4/+1
2009-03-20isl_map_gist: handle some special casesSven Verdoolaege1-1/+34
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-20isl_basic_map_extend_dim: move responsibility of cow'ing to the callerSven Verdoolaege1-1/+2
2009-03-20privately export isl_basic_{set,map}_normalize_constraintsSven Verdoolaege1-3/+11
2009-03-20isl_basic_map_eliminate_vars: clear divs firstSven Verdoolaege1-2/+3
2009-03-20isl_basic_map_eliminate_vars: remove all dependent vars firstSven Verdoolaege1-1/+3
2009-03-20isl_{basic_,}set_preimage: drop ctx argumentSven Verdoolaege1-4/+4
2009-03-08rename F_ and FL_ macros to ISL_F_ and ISL_FL_ to avoid name clashesSven Verdoolaege1-19/+19
2009-02-22add isl_map_removeSven Verdoolaege1-5/+11
2009-02-22add isl_basic_map_removeSven Verdoolaege1-16/+19
2009-02-04isl_map_simplify.c: remove_duplicate_divs: remove divs from last to firstSven Verdoolaege1-5/+19
2009-02-04isl_basic_map_gauss: be careful not to introduce circular div definitionsSven Verdoolaege1-2/+13
2009-02-04isl_map_simplify.c: normalize_divs: fix use of variable compressionSven Verdoolaege1-2/+3
2009-02-03isl_map_simplify.c: normalize_divs: ensure enough existentials are availableSven Verdoolaege1-2/+16
2009-01-08normalize divs involved in equalitiesSven Verdoolaege1-0/+189
2009-01-06isl_map_simplify.c: extract out simplify and related code from isl_map.cSven Verdoolaege1-0/+1316
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 20:31:00 +0000