Public Git Hosting - isl.git/search

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
2009-03-20	Sven Verdoolaege	add isl_mat_extend	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_set_dim	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	privately export isl_basic_{set,map}_normalize_constraints	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_basic_set_extend_dim	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_map_eliminate_vars: clear divs first	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_map_eliminate_vars: remove all dependent...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_hash_table_alloc and isl_hash_table_free	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_hash_table_init: take minimal size instead of number...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_{basic_,}set_preimage: drop ctx argument	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_map_intersect: reuse sample value of either...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_int_ge	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_set_has_defining_inequalities: fix typo	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_constraint_div: perform required reference increase...	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	isl_basic_map: put inequalities before equalities	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	add isl_seq_normalize	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	isl_ctx.h: make FL_ISSET return a boolean value	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	rename F_ and FL_ macros to ISL_F_ and ISL_FL_ to avoid...	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	add isl_mat_swap_cols	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	isl_mat_dump: also indent NULL mat	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	add isl_calloc_type	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	isl_map_convex_hull: normalize map first	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	isl_set_preimage: clear ISL_SET_NORMALIZED flag	commit \| commitdiff \| tree
2009-02-23	Sven Verdoolaege	add isl_basic_map_detect_equalities	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_map_remove	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	export isl_basic_map_is_equal	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_basic_map_remove	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_dim_range	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_map_product	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_basic_map_add_constraint	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_dim_add	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	isl_map_piplib.c: isl_map_from_quast: properly keep...	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	change calling convention of isl_basic_map_{equal,less_at...	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_map_copy_basic_map and isl_map_drop_basic_map	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_map_from_range	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_map_fast_is_empty	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	change calling convention of isl_map_empty and add...	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	isl_map_intersect_{domain,range}: allow intersection...	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	isl_map_intersect: allow intersection with pure parameter...	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	isl_basic_map_affine_hull: fix search for integer points	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	isl_basic_map_overlying_set: don't add div constraints...	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	isl_dim.c: update n_name (only) when changing names	commit \| commitdiff \| tree
2009-02-15	Sven Verdoolaege	fix serious error in isl_mat_parameter_compression	commit \| commitdiff \| tree
2009-02-11	Sven Verdoolaege	export isl_basic_map_intersect_range	commit \| commitdiff \| tree
2009-02-11	Sven Verdoolaege	add isl_basic_map_floordiv	commit \| commitdiff \| tree
2009-02-11	Sven Verdoolaege	add isl_basic_map_fast_is_fixed	commit \| commitdiff \| tree
2009-02-11	Sven Verdoolaege	add isl_basic_map_neg	commit \| commitdiff \| tree
2009-02-11	Sven Verdoolaege	add isl_basic_map_sum	commit \| commitdiff \| tree
2009-02-10	Sven Verdoolaege	add isl_map_fix_si, a generalization of isl_basic_map_fix_in...	commit \| commitdiff \| tree
2009-02-04	Sven Verdoolaege	isl_map_simplify.c: remove_duplicate_divs: remove divs...	commit \| commitdiff \| tree
2009-02-04	Sven Verdoolaege	isl_basic_map_gauss: be careful not to introduce circular...	commit \| commitdiff \| tree
2009-02-04	Sven Verdoolaege	add functions for setting isl_divs	commit \| commitdiff \| tree
2009-02-04	Sven Verdoolaege	isl_map_from_quast: don't throw away any bottom leaves	commit \| commitdiff \| tree
2009-02-04	Sven Verdoolaege	isl_map_simplify.c: normalize_divs: fix use of variable...	commit \| commitdiff \| tree
next

Integer set library

RSS Atom