Public Git Hosting - isl.git/search

2009-07-13	Sven Verdoolaege	isl_sample.c: generalize point_sample to zero_sample	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_tab: don't create new undo records during rollback	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_tab_min: use general rollback mechanism	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_tab: optionally save dual solution	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_tab: add isl_tab_add_valid_eq	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	export isl_tab_alloc	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	add isl_int_le	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	privately export isl_basic_set_recession_cone	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_convex_hull.c: add missing assignment	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	privately export isl_basic_set_lineality_space	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_vec: keep track of isl_ctx	commit \| commitdiff \| tree
2009-07-12	Sven Verdoolaege	isl_coalesce.c: fix typo	commit \| commitdiff \| tree
2009-06-13	Sven Verdoolaege	update piplib for change in configure arguments	commit \| commitdiff \| tree
2009-06-11	Sven Verdoolaege	isl_basic_map_drop_redundant_divs: coalesce divs if...	commit \| commitdiff \| tree
2009-06-11	Sven Verdoolaege	isl_basic_map_drop_redundant_divs: set div expression...	commit \| commitdiff \| tree
2009-06-11	Sven Verdoolaege	isl_basic_map_drop_redundant_divs: drop more kinds...	commit \| commitdiff \| tree
2009-06-11	Sven Verdoolaege	isl_map_compute_divs: drop obviously redundant divs...	commit \| commitdiff \| tree
2009-06-11	Sven Verdoolaege	isl_map_piplib.c: extremum_on: detect equalities first	commit \| commitdiff \| tree
2009-06-11	Sven Verdoolaege	isl_pip_basic_map_compute_divs: remove some equalities...	commit \| commitdiff \| tree
2009-06-11	Sven Verdoolaege	isl_pip_basic_map_compute_divs: separate out dimension...	commit \| commitdiff \| tree
2009-06-11	Sven Verdoolaege	isl_basic_set_preimage: handle divs in input	commit \| commitdiff \| tree
2009-06-11	Sven Verdoolaege	isl_input_omega.c: make variable_{free,new} static	commit \| commitdiff \| tree
2009-06-11	Sven Verdoolaege	isl_map.c: make add_divs static	commit \| commitdiff \| tree
2009-06-11	Sven Verdoolaege	isl_basic_map_simplify: detect div constraints while...	commit \| commitdiff \| tree
2009-06-07	Sven Verdoolaege	isl_basic_map_drop: properly handle dimensions of type...	commit \| commitdiff \| tree
2009-06-07	Sven Verdoolaege	add isl_int_mul_ui	commit \| commitdiff \| tree
2009-06-07	Sven Verdoolaege	add isl_seq_fdiv_q	commit \| commitdiff \| tree
2009-06-07	Sven Verdoolaege	add isl_seq_fdiv_r	commit \| commitdiff \| tree
2009-06-07	Sven Verdoolaege	isl_basic_map_detect_equalities: properly handle empty...	commit \| commitdiff \| tree
2009-06-07	Sven Verdoolaege	isl_basic_map_is_empty: explicitly mark basic sets...	commit \| commitdiff \| tree
2009-06-07	Sven Verdoolaege	isl_map.c: order_divs: swap with correct div	commit \| commitdiff \| tree
2009-06-07	Sven Verdoolaege	isl_map_coalesce: remove extra divs introduced by isl_map_al...	commit \| commitdiff \| tree
2009-06-05	Sven Verdoolaege	add isl_map_coalesce	commit \| commitdiff \| tree
2009-05-19	Sven Verdoolaege	add isl_set_product	commit \| commitdiff \| tree
2009-05-19	Sven Verdoolaege	export isl_map_dim	commit \| commitdiff \| tree
2009-05-06	Sven Verdoolaege	isl_map_convex_hull: handle unbounded, but pointed...	commit \| commitdiff \| tree
2009-05-06	Sven Verdoolaege	privately export isl_mat_unimodular_complete	commit \| commitdiff \| tree
2009-05-06	Sven Verdoolaege	isl_tab.c: add isl_tab_get_sample_value	commit \| commitdiff \| tree
2009-05-06	Sven Verdoolaege	isl_map_convex_hull: avoid introducing lineality spaces...	commit \| commitdiff \| tree
2009-05-06	Sven Verdoolaege	add two more convex hull test cases	commit \| commitdiff \| tree
2009-05-06	Sven Verdoolaege	isl_map_convex_hull: remove lineality space if any...	commit \| commitdiff \| tree
2009-05-06	Sven Verdoolaege	add isl_basic_set_is_universe	commit \| commitdiff \| tree
2009-05-06	Sven Verdoolaege	add isl_set_get_dim	commit \| commitdiff \| tree
2009-05-05	Sven Verdoolaege	isl_convex_hull.c: update wrap_facet to the fact we...	commit \| commitdiff \| tree
2009-05-05	Sven Verdoolaege	isl_convex_hull.c: fix typo in comment	commit \| commitdiff \| tree
2009-05-05	Sven Verdoolaege	isl_coalesce.c: fix typo in comment	commit \| commitdiff \| tree
2009-05-05	Sven Verdoolaege	isl_tab.c: fix typo in comment	commit \| commitdiff \| tree
2009-05-05	Sven Verdoolaege	configure.in: set AC_CONFIG_MACRO_DIR	commit \| commitdiff \| tree
2009-03-23	Sven Verdoolaege	add isl_basic_set_get_dim	commit \| commitdiff \| tree
2009-03-23	Sven Verdoolaege	isl_basic_map_gist: normalize divs (if any) in context	commit \| commitdiff \| tree
2009-03-23	Sven Verdoolaege	isl_basic_map_simplify: remove duplicate divs before...	commit \| commitdiff \| tree
2009-03-23	Sven Verdoolaege	add isl_basic_set_div	commit \| commitdiff \| tree
2009-03-23	Sven Verdoolaege	change calling convention of isl_basic_map_div	commit \| commitdiff \| tree
2009-03-23	Sven Verdoolaege	isl_map_simplify.c: uset_gist: break early if there...	commit \| commitdiff \| tree
2009-03-23	Sven Verdoolaege	isl_map_simplify.c: uset_gist: break early if intersection...	commit \| commitdiff \| tree
2009-03-23	Sven Verdoolaege	add isl_basic_set_fast_is_empty	commit \| commitdiff \| tree
2009-03-23	Sven Verdoolaege	update piplib to 1.4.0	commit \| commitdiff \| tree
2009-03-23	Sven Verdoolaege	isl_tab.c: store number of equalities among the constraints...	commit \| commitdiff \| tree
2009-03-23	Sven Verdoolaege	isl_mat_extend: properly extend matrices with reordered...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_map_gist: handle some special cases	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_map_universe	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_basic_map_fast_is_empty	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_map_gist: replace by new version based on...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_map_simplify.c: compute_elimination_index: don...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_map_implicit_equalities	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_basic_set_free_equality	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_map_convex_hull: mark result as not having any...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	convex_hull: coalesce set first	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_set_coalesce	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_input_omega.c: basic_map_read: accept "+" in constraints	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_basic_set_alloc_div	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_set_align_divs	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	uset_affine_hull: ignore directions in affine hull...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_map_implicit_equalities: perform Gaussian...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_affine_hull.c: outside_point: check for obvious...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	privately export isl_basic_set_contains	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_ctx: add negone	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_vec_dump: handle NULL vec	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_affine_hull.c: extract uset_affine_hull	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_mat_transpose: handle non-rectangular matrices	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_map_simple_hull: compute affine hull before aligning...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_map_simple_hull: mark result as not having any...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_set_bounded_simple_hull	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_map_affine_hull: detect equalities of integer affine...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_map_dup: copy flags of original to duplicate	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_map_extend_dim: move responsibility of cow...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_map_extend_dim: only extend constraint matrix...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_solve_lp: use tableaus instead of calling piplib...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_solve_lp: accept affine object function instead...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_map_simple_hull: use hash tables and tableaus	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_convex_hull.c: extract out uset_simple_hull	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_convex_hull.c: extend: avoid wrapping around already...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_convex_hull.c: introduce proto_hull based on obvious...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_convex_hull.c: move initial hull construction into...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_convex_hull.c: move computation of bounds into...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_map_convex_hull: check for boundedness using recession...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_map_convex_hull: use tableau to detect redundant...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_affine_hull.c: use tableau to detect implicit equalities	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_tab.c: don't detect equalities while setting up...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add internal representation of LP tableaus	commit \| commitdiff \| tree
next

Integer set library

RSS Atom