projects
/
platform
/
upstream
/
isl.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
isl_basic_set_compare_at: compute result in terms of maximal (integral) difference
2009-12-24
Sven Verdoolaege
isl_basic_set_compare_at: compute result in terms of...
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_tab_pip.c: add cuts for all non-integer coordinates...
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_basic_map_gist: don't drop equalities from context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull.c: initial_facet_constraint: drop all...
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull.c: is_independent_bound: normalize...
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull.c: extend: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_mat_right_inverse: be more verbose on error condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_constraint_dup: make sure line refers to equation...
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_intersect: add special case for adding a single...
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
compute set difference using a backtracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map_subtract.c: extract from isl_map.c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: keep track of isl_basic_map instead of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
privately export isl_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add isl_basic_map_add_ineq and isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab_detect_redundant: return status instead of...
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: add isl_tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_tab_add_ineq and isl_tab_mark_empty: return status...
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_set_swap_vars: re-gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
add isl_basic_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
export isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
add isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
isl_map_drop_basic_map: consistently keep basic map...
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab: row is only (obviously) redundant if it does...
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_basic_map_simplify: make sure to rerun Gauss when...
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: use context constraints...
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_pip.c: ignore dead columns when checking integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_pip: optionally perform some check on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put options in a separate isl_options structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add rudimentary argument parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_compute_reduced_basis: handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_set_solve_ilp: handle obviously empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_set_solve_ilp: fix handling of sets with...
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
extract isl_basic_set_scan from polytope_scan.c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_map_simplify: avoid removal of div definitions...
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_map.c: declare variable at start of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_set_project_out: handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_pip: keep cache of partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pip: don't free isl_sol on error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab: support generic undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pip.c: remove some code duplication between...
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_map_is_subset: add special case for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map_compute_divs: skip computation if divs are...
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map_is_subset: exploit another easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark some functions as requiring use of return value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab: improved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_pip.c: incrementally build recession cone of...
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_pip.c: propagate some equalities from gbr context...
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip.c: detect equalities in gbr context on...
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_tab_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_tab_set_initial_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip: use generalized basis reduction based...
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip: add generalized basis reduction based...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_pip.c: extract out context handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_pip.c: add_div: use more reliable way to test...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: remove samples that...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab.c: extract out samples handling from isl_tab_pip.c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_affine_hull.c: uset_affine_hull_bounded: use tableaus...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_map_detect_equalities: keep track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_map_detect_equalities: only compute recession...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_sample: handle unbounded directions in initial...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute_reduced_basis: handle unbounded directions...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
exploit equalities in isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab: keep (in)equalities of bset (if any) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_sample: be more verbose about unbounded directions
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate out isl_tab_sample from sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sample_bounded: reimplement to work directly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute_reduced_basis: work with affine basis...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute_reduced_basis: allow incremental computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_polytope_scan: use isl_tab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate out isl_tab_reduced_basis from isl_basic_set_reduce...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
basis_reduction_tab.c: use isl_tab_product to construct...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
add isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_set_reduced_basis: fix value in directions...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_set_reduced_basis: fix up documentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
basis_reduction_tab.c: keep track of con_offset instead...
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_add_valid_eq: add special treatment for manifestly...
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_extend_cons: check tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
rename isl_tab_detect_equalities to isl_tab_detect_implicit_...
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_from_recession_cone: take basic set instead...
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_ilp.c: separate out solve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_sample.c: basic_set_sample: remember boundedness...
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_polyhedron_detect_equalities test application
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_basic_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_allocate_con: add extra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_sample.c: basic_set_reduced: fix typo preventing...
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: simplify result
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
privately export isl_basic_set_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
privately export isl_basic_set_sample_with_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_basic_set_underlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab.c: close_row: push undo record for setting...
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_mat_vec_inverse_product
commit
|
commitdiff
|
tree
next