Public Git Hosting - isl.git/search

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
2009-10-07	Sven Verdoolaege	add isl_mat_concat	commit \| commitdiff \| tree
2009-10-07	Sven Verdoolaege	add isl_int_divexact_ui	commit \| commitdiff \| tree
2009-10-05	Sven Verdoolaege	add isl_set_dim_residue_class	commit \| commitdiff \| tree
2009-10-03	Sven Verdoolaege	fix long standing bug in isl_mat_inverse_product	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	add isl_basic_map_foreach_lexmin	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	add isl_set_project_out	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	add isl_set_detect_equalities	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	add isl_set_foreach_basic_set	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	add isl_set_lifting	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	isl_dim_size: check argument	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	export isl_mat header	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	add isl_basic_map_lexmin	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	add isl_map_foreach_basic_map	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	configure.ac: fix cut-and-paste error in original commit	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	add isl_int_get_si	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	export isl_set_sample	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	add isl_basic_set_universe_like_set	commit \| commitdiff \| tree
2009-10-02	Sven Verdoolaege	add isl_set_is_strict_subset	commit \| commitdiff \| tree
2009-09-20	Sven Verdoolaege	add isl_set_universe_like	commit \| commitdiff \| tree
2009-09-20	Sven Verdoolaege	AX_SUBMODULE: set PKG_CONFIG_PATH	commit \| commitdiff \| tree
2009-09-20	Sven Verdoolaege	create pkg-config file	commit \| commitdiff \| tree
2009-09-20	Sven Verdoolaege	AX_SUBMODULE: drop options that are meaningless given...	commit \| commitdiff \| tree
2009-09-16	Sven Verdoolaege	isl_basic_map_from_constraint: return copy of bmap...	commit \| commitdiff \| tree
2009-09-16	Sven Verdoolaege	doc: fix description of lexicograhpic order relations	commit \| commitdiff \| tree
2009-09-16	Sven Verdoolaege	add isl_map_lex_le and isl_map_lex_ge	commit \| commitdiff \| tree
2009-09-14	Sven Verdoolaege	export isl_basic_map_gist	commit \| commitdiff \| tree
2009-09-14	Sven Verdoolaege	add isl_basic_map_sample and isl_map_sample	commit \| commitdiff \| tree
2009-09-13	Sven Verdoolaege	isl_sample.c: move isl_basic_set_from_vec from isl_affine_hull.c	commit \| commitdiff \| tree
2009-09-13	Sven Verdoolaege	rename isl_basic_set_sample to isl_basic_set_sample_vec	commit \| commitdiff \| tree
2009-09-13	Sven Verdoolaege	make some internal functions static	commit \| commitdiff \| tree
2009-09-13	Sven Verdoolaege	isl_basic_map_add_constraint: handle constraints obtained...	commit \| commitdiff \| tree
2009-09-13	Sven Verdoolaege	add isl_basic_map_from_constraint	commit \| commitdiff \| tree
2009-09-12	Sven Verdoolaege	isl_map_simplify.c: break if set turns out to be empty...	commit \| commitdiff \| tree
2009-09-12	Sven Verdoolaege	add isl_basic_map_universe_like	commit \| commitdiff \| tree
2009-09-09	Sven Verdoolaege	add isl_map_lex_lt and isl_map_lex_gt	commit \| commitdiff \| tree
2009-09-09	Sven Verdoolaege	isl_tab.c: cut_to_hyperplane: do nothing if selected...	commit \| commitdiff \| tree
2009-09-09	Sven Verdoolaege	reverse meaning of isl_basic_map_{less,more}_at	commit \| commitdiff \| tree
2009-09-08	Sven Verdoolaege	isl_tab_dup: avoid out-of-bounds array access	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl 0.01	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	add a rudimentary manual	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	add some memory management annotations	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	export isl_basic_set_project_out	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_basic_set_normalize_constraints: add missing return	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_map_simplify.c: remove unused variables	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_map.c: remove unused variables	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_basic_set_get_hash: initialize hash value	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_affine_hull.c: remove unused variable	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_hash.c: remove unused variable	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_lp.c: add missing include	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_equalities.c: drop redundant error handling	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_equalities.c: remove unused variable	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_convex_hull.c: remove unused variables	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_constraint.c: remove unused variables	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_tab.c: sign_of_min: only pivot back if we performed...	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_tab.c: isl_tab_mark_redundant: fix up error return	commit \| commitdiff \| tree
next

Integer set library

RSS Atom