summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2009-07-16isl_tab: drop isl_ctx argument where not absolutely requiredSven Verdoolaege9-375/+321
2009-07-16isl_mat: keep track of isl_ctxSven Verdoolaege11-424/+388
2009-07-16isl_basic_set_sample: don't project out lineality space up frontSven Verdoolaege1-87/+24
2009-07-15isl_basic_map_fix_pos: micro-optimizationSven Verdoolaege1-1/+1
2009-07-15move isl_basic_set_skew_to_positive_orthant to isl_sample.cSven Verdoolaege2-145/+105
2009-07-15isl_tab.c: fix typo in commentSven Verdoolaege1-1/+1
2009-07-15isl_basic_set_sample: break early if sample found in basic_set_rangeSven Verdoolaege1-3/+35
2009-07-15export isl_tab_sample_is_integerSven Verdoolaege2-2/+6
2009-07-15isl_basic_set_sample: check sample stored by isl_basic_map_is_empty firstSven Verdoolaege1-0/+13
2009-07-15isl_basic_map_is_empty: remove stale sampleSven Verdoolaege1-2/+3
2009-07-15add isl_polyhedron_sample applicationSven Verdoolaege2-1/+29
2009-07-15introduce generalized basis reduction based samplingSven Verdoolaege7-3/+1034
2009-07-15add isl_seq_cdiv_qSven Verdoolaege2-0/+8
2009-07-15isl_sample.c: interval_sample: drop redundant argumentSven Verdoolaege1-5/+4
2009-07-15isl_sample.c: clean up handling of lineality spaceSven Verdoolaege1-40/+73
2009-07-13isl_sample.c: extract out sample_eqSven Verdoolaege1-12/+29
2009-07-13isl_sample.c: interval_sample: handle equalities directlySven Verdoolaege1-3/+22
2009-07-13isl_sample.c: extract out empty_sampleSven Verdoolaege1-5/+12
2009-07-13isl_sample.c: generalize point_sample to zero_sampleSven Verdoolaege1-28/+35
2009-07-13isl_tab: don't create new undo records during rollbackSven Verdoolaege2-0/+6
2009-07-13isl_tab_min: use general rollback mechanismSven Verdoolaege1-1/+3
2009-07-13isl_tab: optionally save dual solutionSven Verdoolaege5-5/+29
2009-07-13isl_tab: add isl_tab_add_valid_eqSven Verdoolaege2-9/+77
2009-07-13export isl_tab_allocSven Verdoolaege1-0/+2
2009-07-13add isl_int_leSven Verdoolaege1-0/+1
2009-07-13privately export isl_basic_set_recession_coneSven Verdoolaege2-2/+7
2009-07-13isl_convex_hull.c: add missing assignmentSven Verdoolaege1-1/+1
2009-07-13privately export isl_basic_set_lineality_spaceSven Verdoolaege2-5/+8
2009-07-13isl_vec: keep track of isl_ctxSven Verdoolaege10-64/+70
2009-07-12isl_coalesce.c: fix typoSven Verdoolaege1-1/+1
2009-06-13update piplib for change in configure argumentsSven Verdoolaege2-1/+1
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 Verdoolaege3-2/+109
2009-06-11isl_map_piplib.c: extremum_on: detect equalities firstSven Verdoolaege1-0/+1
2009-06-11isl_pip_basic_map_compute_divs: remove some equalities firstSven Verdoolaege1-1/+232
2009-06-11isl_pip_basic_map_compute_divs: separate out dimension gamesSven Verdoolaege1-18/+91
2009-06-11isl_basic_set_preimage: handle divs in inputSven Verdoolaege1-19/+46
2009-06-11isl_input_omega.c: make variable_{free,new} staticSven Verdoolaege1-2/+2
2009-06-11isl_map.c: make add_divs staticSven Verdoolaege1-1/+1
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-06-07add isl_int_mul_uiSven Verdoolaege1-0/+1
2009-06-07add isl_seq_fdiv_qSven Verdoolaege2-0/+8
2009-06-07add isl_seq_fdiv_rSven Verdoolaege2-0/+8
2009-06-07isl_basic_map_detect_equalities: properly handle empty basic setsSven Verdoolaege1-0/+4
2009-06-07isl_basic_map_is_empty: explicitly mark basic sets determined to be emptySven Verdoolaege1-0/+2
2009-06-07isl_map.c: order_divs: swap with correct divSven Verdoolaege1-1/+1
2009-06-07isl_map_coalesce: remove extra divs introduced by isl_map_align_divsSven Verdoolaege1-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-20 02:24:31 +0000