projects / platform / upstream / isl.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
platform/upstream/isl.git
2010-01-08 Sven Verdoolaegeisl_basic_map_update_from_tab: re-gauss resulting bmap commit | commitdiff | tree | snapshot
2010-01-01 Sven Verdoolaegeax_submodule.m4: don't let --with-module conflict with... commit | commitdiff | tree | snapshot
2009-12-25 Sven Verdoolaegeadd isl_set_follows_at commit | commitdiff | tree | snapshot
2009-12-24 Sven Verdoolaegeisl_basic_set_compare_at: compute result in terms of... commit | commitdiff | tree | snapshot
2009-12-24 Sven Verdoolaegeisl_tab_pip.c: add cuts for all non-integer coordinates... commit | commitdiff | tree | snapshot
2009-12-19 Sven Verdoolaegeisl_basic_map_gist: don't drop equalities from context commit | commitdiff | tree | snapshot
2009-12-18 Sven Verdoolaegeisl_convex_hull.c: initial_facet_constraint: drop all... commit | commitdiff | tree | snapshot
2009-12-18 Sven Verdoolaegeisl_convex_hull.c: is_independent_bound: normalize... commit | commitdiff | tree | snapshot
2009-12-18 Sven Verdoolaegeisl_convex_hull.c: extend: check hull argument commit | commitdiff | tree | snapshot
2009-12-18 Sven Verdoolaegeisl_mat_right_inverse: be more verbose on error condition commit | commitdiff | tree | snapshot
2009-12-18 Sven Verdoolaegeisl_constraint_dup: make sure line refers to equation... commit | commitdiff | tree | snapshot
2009-12-16 Sven Verdoolaegeadd copyright statements commit | commitdiff | tree | snapshot
2009-12-16 Sven Verdoolaegeremove functions for converting between isl and PolyLib commit | commitdiff | tree | snapshot
2009-12-16 Sven Verdoolaegeisl_tab_solve_lp: invert optimal value back when comput... commit | commitdiff | tree | snapshot
2009-12-08 Sven Verdoolaegeisl_map_intersect: add special case for adding a single... commit | commitdiff | tree | snapshot
2009-12-08 Sven Verdoolaegeisl_map_is_subset: break off as soon as difference... commit | commitdiff | tree | snapshot
2009-12-08 Sven Verdoolaegecompute set difference using a backtracking algorithm commit | commitdiff | tree | snapshot
2009-12-07 Sven Verdoolaegeisl_map_subtract.c: extract from isl_map.c commit | commitdiff | tree | snapshot
2009-12-07 Sven Verdoolaegeisl_tab: keep track of isl_basic_map instead of isl_bas... commit | commitdiff | tree | snapshot
2009-12-07 Sven Verdoolaegeprivately export isl_basic_map_contains commit | commitdiff | tree | snapshot
2009-12-07 Sven Verdoolaegeadd isl_basic_map_add_ineq and isl_basic_map_add_eq commit | commitdiff | tree | snapshot
2009-12-07 Sven Verdoolaegeisl_tab_detect_redundant: return status instead of... commit | commitdiff | tree | snapshot
2009-12-07 Sven Verdoolaegeisl_tab: add isl_tab_freeze_constraint commit | commitdiff | tree | snapshot
2009-11-29 Sven Verdoolaegeisl_tab_add_ineq and isl_tab_mark_empty: return status... commit | commitdiff | tree | snapshot
2009-11-29 Sven Verdoolaegeadd missing AUTHORS file commit | commitdiff | tree | snapshot
2009-11-29 Sven Verdoolaegeisl_basic_set_swap_vars: re-gauss resulting bset commit | commitdiff | tree | snapshot
2009-11-16 Sven Verdoolaegeadd isl_basic_map_first_constraint commit | commitdiff | tree | snapshot
2009-11-15 Sven Verdoolaegeexport isl_basic_map_lexmax commit | commitdiff | tree | snapshot
2009-11-15 Sven Verdoolaegeadd isl_basic_set_lexmax commit | commitdiff | tree | snapshot
2009-11-15 Sven Verdoolaegeisl_map_drop_basic_map: consistently keep basic map... commit | commitdiff | tree | snapshot
2009-11-01 Sven Verdoolaegeisl_tab: row is only (obviously) redundant if it does... commit | commitdiff | tree | snapshot
2009-11-01 Sven Verdoolaegeisl_basic_map_simplify: make sure to rerun Gauss when... commit | commitdiff | tree | snapshot
2009-11-01 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: use context constrain... commit | commitdiff | tree | snapshot
2009-11-01 Sven Verdoolaegeisl_tab_pip.c: ignore dead columns when checking integr... commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeisl_pip: optionally perform some check on the results commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeput options in a separate isl_options structure commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeadd rudimentary argument parsing facility commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeisl_tab_compute_reduced_basis: handle empty tables commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeisl_basic_set_solve_ilp: handle obviously empty sets commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeisl_basic_set_solve_ilp: fix handling of sets with... commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeadd isl_set_remove commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeadd isl_set_fix commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeadd isl_basic_set_fix commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeextract isl_basic_set_scan from polytope_scan.c commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeisl_basic_map_simplify: avoid removal of div definition... commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeisl_map.c: declare variable at start of code block commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeisl_basic_set_project_out: handle rational sets commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeadd isl_basic_set_remove commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeisl_tab_pip: keep cache of partial solutions commit | commitdiff | tree | snapshot
2009-10-16 Sven Verdoolaegeisl_tab_pip: don't free isl_sol on error condition commit | commitdiff | tree | snapshot
2009-10-16 Sven Verdoolaegeisl_tab: support generic undo records commit | commitdiff | tree | snapshot
2009-10-16 Sven Verdoolaegeadd isl_mat_is_equal commit | commitdiff | tree | snapshot
2009-10-16 Sven Verdoolaegeisl_tab_pip.c: remove some code duplication between... commit | commitdiff | tree | snapshot
2009-10-16 Sven Verdoolaegeisl_map_is_subset: add special case for singleton maps commit | commitdiff | tree | snapshot
2009-10-12 Sven Verdoolaegeisl_map_compute_divs: skip computation if divs are... commit | commitdiff | tree | snapshot
2009-10-12 Sven Verdoolaegeisl_map_is_subset: exploit another easy special case commit | commitdiff | tree | snapshot
2009-10-12 Sven Verdoolaegeadd isl_map_fast_is_universe commit | commitdiff | tree | snapshot
2009-10-12 Sven Verdoolaegeadd isl_set_size commit | commitdiff | tree | snapshot
2009-10-12 Sven Verdoolaegemark some functions as requiring use of return value commit | commitdiff | tree | snapshot
2009-10-12 Sven Verdoolaegeisl_tab: improved error handling commit | commitdiff | tree | snapshot
2009-10-12 Sven Verdoolaegeisl_tab_pip.c: incrementally build recession cone of... commit | commitdiff | tree | snapshot
2009-10-12 Sven Verdoolaegeisl_tab_pip.c: propagate some equalities from gbr conte... commit | commitdiff | tree | snapshot
2009-10-10 Sven Verdoolaegeisl_tab_pip.c: detect equalities in gbr context on... commit | commitdiff | tree | snapshot
2009-10-10 Sven Verdoolaegeadd isl_tab_detect_equalities commit | commitdiff | tree | snapshot
2009-10-10 Sven Verdoolaegeadd isl_tab_set_initial_basis_with_cone commit | commitdiff | tree | snapshot
2009-10-10 Sven Verdoolaegeisl_tab_pip: use generalized basis reduction based... commit | commitdiff | tree | snapshot
2009-10-10 Sven Verdoolaegeisl_tab_pip: add generalized basis reduction based... commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_tab_pip.c: extract out context handling commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_tab_pip.c: add_div: use more reliable way to test... commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: remove samples that... commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_tab.c: extract out samples handling from isl_tab_pip.c commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_affine_hull.c: uset_affine_hull_bounded: use tablea... commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_basic_map_detect_equalities: keep track of sample commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_basic_map_detect_equalities: only compute recession... commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_tab_sample: handle unbounded directions in initial... commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_tab_compute_reduced_basis: handle unbounded directi... commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeexploit equalities in isl_tab_sample commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_tab: keep (in)equalities of bset (if any) in sync commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_tab_sample: be more verbose about unbounded directions commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeseparate out isl_tab_sample from sample_bounded commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegesample_bounded: reimplement to work directly on a tableau commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_tab_compute_reduced_basis: work with affine basis... commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_tab_compute_reduced_basis: allow incremental comput... commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_polytope_scan: use isl_tab_from_basic_set commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeseparate out isl_tab_reduced_basis from isl_basic_set_r... commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegebasis_reduction_tab.c: use isl_tab_product to construct... commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeadd isl_tab_product commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_basic_set_reduced_basis: fix value in directions... commit | commitdiff | tree | snapshot
2009-10-09 Sven Verdoolaegeisl_basic_set_reduced_basis: fix up documentation commit | commitdiff | tree | snapshot
2009-10-08 Sven Verdoolaegebasis_reduction_tab.c: keep track of con_offset instead... commit | commitdiff | tree | snapshot
2009-10-08 Sven Verdoolaegeadd isl_tab_add_eq commit | commitdiff | tree | snapshot
2009-10-08 Sven Verdoolaegeisl_tab_add_valid_eq: add special treatment for manifes... commit | commitdiff | tree | snapshot
2009-10-08 Sven Verdoolaegeisl_tab_extend_cons: check tab argument commit | commitdiff | tree | snapshot
2009-10-08 Sven Verdoolaegerename isl_tab_detect_equalities to isl_tab_detect_impl... commit | commitdiff | tree | snapshot
2009-10-08 Sven Verdoolaegeisl_tab_from_recession_cone: take basic set instead... commit | commitdiff | tree | snapshot
2009-10-08 Sven Verdoolaegeisl_ilp.c: separate out solve_ilp_search commit | commitdiff | tree | snapshot
2009-10-08 Sven Verdoolaegeisl_sample.c: basic_set_sample: remember boundedness... commit | commitdiff | tree | snapshot
2009-10-08 Sven Verdoolaegeadd isl_polyhedron_detect_equalities test application commit | commitdiff | tree | snapshot
2009-10-07 Sven Verdoolaegeadd isl_basic_set_detect_equalities commit | commitdiff | tree | snapshot
2009-10-07 Sven Verdoolaegeisl_tab_allocate_con: add extra assertion commit | commitdiff | tree | snapshot
next
Domain: System / Uncategorized;