Public Git Hosting - isl.git/search

2010-01-13	Sven Verdoolaege	properly remove piplib submodule	commit \| commitdiff \| tree
2010-01-08	Sven Verdoolaege	isl_basic_map_update_from_tab: re-gauss resulting bmap	commit \| commitdiff \| tree
2010-01-01	Sven Verdoolaege	ax_submodule.m4: don't let --with-module conflict with...	commit \| commitdiff \| tree
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	isl_map_is_subset: break off as soon as difference...	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
next

Integer set library

RSS Atom