Public Git Hosting - isl.git/search

2010-05-13	Sven Verdoolaege	add isl_set_count_upto	commit \| commitdiff \| tree
2010-05-13	Sven Verdoolaege	add isl_set_scan	commit \| commitdiff \| tree
2010-05-13	Sven Verdoolaege	add isl_stream_read_pw_qpolynomial	commit \| commitdiff \| tree
2010-05-13	Sven Verdoolaege	add isl_qpolynomial_from_term	commit \| commitdiff \| tree
2010-05-13	Sven Verdoolaege	add isl_qpolynomial_from_constraint	commit \| commitdiff \| tree
2010-05-13	Sven Verdoolaege	add isl_basic_set_foreach_bound_pair	commit \| commitdiff \| tree
2010-05-13	Sven Verdoolaege	add isl_qpolynomial_as_polynomial_on_domain	commit \| commitdiff \| tree
2010-05-13	Sven Verdoolaege	add isl_qpolynomial_substitute	commit \| commitdiff \| tree
2010-05-13	Sven Verdoolaege	add isl_basic_set_dims_get_sign	commit \| commitdiff \| tree
2010-05-04	Sven Verdoolaege	isl_ctx: add zero	commit \| commitdiff \| tree
2010-05-04	Sven Verdoolaege	add isl_qpolynomial_neginfty	commit \| commitdiff \| tree
2010-05-04	Sven Verdoolaege	add isl_basic_set_drop	commit \| commitdiff \| tree
2010-05-04	Sven Verdoolaege	isl_qpolynomial_fold_opt_on_domain: fix typo	commit \| commitdiff \| tree
2010-05-04	Sven Verdoolaege	isl_pw_*_eval: fix handling of empty input	commit \| commitdiff \| tree
2010-05-04	Sven Verdoolaege	add isl_basic_set_move_dims	commit \| commitdiff \| tree
2010-05-04	Sven Verdoolaege	export isl_qpolynomial_sub	commit \| commitdiff \| tree
2010-05-04	Sven Verdoolaege	add isl_qpolynomial_get_dim	commit \| commitdiff \| tree
2010-05-04	Sven Verdoolaege	isl_map_transitive_closure: coalesce input before checking...	commit \| commitdiff \| tree
2010-05-04	Sven Verdoolaege	add map_lex_*_first	commit \| commitdiff \| tree
2010-05-01	Sven Verdoolaege	isl_map_lex_le: use one basic set less in result	commit \| commitdiff \| tree
2010-05-01	Sven Verdoolaege	isl_stream: accept lexicographic operators	commit \| commitdiff \| tree
2010-04-28	Sven Verdoolaege	isl_map_transitive_closure: check if input is closed...	commit \| commitdiff \| tree
2010-04-28	Sven Verdoolaege	add isl_printer_flush	commit \| commitdiff \| tree
2010-04-28	Sven Verdoolaege	isl_map_read: parse parametric Omega input	commit \| commitdiff \| tree
2010-04-28	Sven Verdoolaege	isl_map_read: fix typo	commit \| commitdiff \| tree
2010-04-28	Sven Verdoolaege	isl_convex_hull.c: is_bound: any inequality is a bound...	commit \| commitdiff \| tree
2010-04-28	Sven Verdoolaege	isl_convex_hull.c: add_bounds: propagate errors from...	commit \| commitdiff \| tree
2010-04-25	Sven Verdoolaege	document isl_map_reverse	commit \| commitdiff \| tree
2010-04-24	Sven Verdoolaege	isl_stream_next_token: terminate string tokens	commit \| commitdiff \| tree
2010-04-23	Sven Verdoolaege	isl_map_transitive_closure: treat equality as pair...	commit \| commitdiff \| tree
2010-04-23	Sven Verdoolaege	isl_map_transitive_closure, omega-like: only use ?...	commit \| commitdiff \| tree
2010-04-23	Sven Verdoolaege	isl_map_transitive_closure: use simple hull in omega...	commit \| commitdiff \| tree
2010-04-23	Sven Verdoolaege	isl_map_transitive_closure: try and compute closure...	commit \| commitdiff \| tree
2010-04-23	Sven Verdoolaege	isl_map_coalesce: allow wrapping in sets that stick...	commit \| commitdiff \| tree
2010-04-23	Sven Verdoolaege	isl_map_coalesce: allowing cutting equalities in adjacent...	commit \| commitdiff \| tree
2010-04-23	Sven Verdoolaege	add some more coalescing test cases	commit \| commitdiff \| tree
2010-04-23	Sven Verdoolaege	isl_basic_map_gist: be more aggressive in removing...	commit \| commitdiff \| tree
2010-04-23	Sven Verdoolaege	isl_stream: accept string tokens	commit \| commitdiff \| tree
2010-04-23	Sven Verdoolaege	isl_tab_rollback: restore rows that are no longer marked...	commit \| commitdiff \| tree
2010-04-21	Sven Verdoolaege	doc: document simple hull	commit \| commitdiff \| tree
2010-04-21	Sven Verdoolaege	doc: emphasize that we are dealing with integer sets	commit \| commitdiff \| tree
2010-04-21	Sven Verdoolaege	isl_transitive_closure.c: path_along_delta: only avoid...	commit \| commitdiff \| tree
2010-04-21	Sven Verdoolaege	isl_map_transitive_closure: compute divs of input	commit \| commitdiff \| tree
2010-04-21	Sven Verdoolaege	isl_map_compute_divs: make sure result is gaussed and...	commit \| commitdiff \| tree
2010-04-21	Sven Verdoolaege	isl_printer_print_pw_qpolynomial: properly print constraints...	commit \| commitdiff \| tree
2010-04-19	Sven Verdoolaege	isl_pip and isl_cat: terminate isl_arg array with ISL_ARG_END	commit \| commitdiff \| tree
2010-04-19	Sven Verdoolaege	doc: document setting and getting of dimension names	commit \| commitdiff \| tree
2010-04-19	Sven Verdoolaege	doc: document *_get_dim functions	commit \| commitdiff \| tree
2010-04-19	Sven Verdoolaege	isl_map_convex_hull: handle non full-dimensional pairs...	commit \| commitdiff \| tree
2010-04-19	Sven Verdoolaege	isl_convex_hull.c: modulo_affine_hull: drop redundant...	commit \| commitdiff \| tree
2010-04-19	Sven Verdoolaege	isl_convex_hull.c: convex_hull_pair: skip direction...	commit \| commitdiff \| tree
2010-04-18	Sven Verdoolaege	isl_printer_print_basic_set: fix up printing to string...	commit \| commitdiff \| tree
2010-04-18	Sven Verdoolaege	add isl_set_neg and isl_set_sum	commit \| commitdiff \| tree
2010-04-16	Sven Verdoolaege	isl_transitive_closure.c: fix documentation of construct_com...	commit \| commitdiff \| tree
2010-04-15	Sven Verdoolaege	isl_map_coalesce: make sure result still contains set...	commit \| commitdiff \| tree
2010-04-15	Sven Verdoolaege	isl_map_transitive_closure: Floyd-Warshall: properly...	commit \| commitdiff \| tree
2010-04-15	Sven Verdoolaege	isl_map_transitive_closure: use Floyd-Warshall on disjoint...	commit \| commitdiff \| tree
2010-04-15	Sven Verdoolaege	isl_transitive_closure.c: extract out isl_set_overlaps	commit \| commitdiff \| tree
2010-04-15	Sven Verdoolaege	isl_map_transitive_closure: project out length on each...	commit \| commitdiff \| tree
2010-04-15	Sven Verdoolaege	isl_transitive_closure.c: construct_component: don...	commit \| commitdiff \| tree
2010-04-15	Sven Verdoolaege	isl_map_transitive_closure: don't add length parameter	commit \| commitdiff \| tree
2010-04-15	Sven Verdoolaege	doc: fix typos	commit \| commitdiff \| tree
2010-04-13	Sven Verdoolaege	isl_set_gist: make context argument an isl_set for...	commit \| commitdiff \| tree
2010-04-13	Sven Verdoolaege	isl_map_transitive_closure: coalesce input map	commit \| commitdiff \| tree
2010-04-13	Sven Verdoolaege	isl_transitive_closure.c: construct_component: always...	commit \| commitdiff \| tree
2010-04-13	Sven Verdoolaege	doc: cite Omega library documentation on computation...	commit \| commitdiff \| tree
2010-04-13	Sven Verdoolaege	add isl_stream_read_map	commit \| commitdiff \| tree
2010-04-13	Sven Verdoolaege	isl_arg.h: add missing include	commit \| commitdiff \| tree
2010-04-11	Sven Verdoolaege	isl_basic_map_move_dims: normalize equalities	commit \| commitdiff \| tree
2010-04-11	Sven Verdoolaege	rename isl_map_move to isl_map_move_dims	commit \| commitdiff \| tree
2010-04-10	Sven Verdoolaege	isl_options_parse: only parse known options by default	commit \| commitdiff \| tree
2010-04-10	Sven Verdoolaege	isl_map_closure: optionally use Omega-like algorithm	commit \| commitdiff \| tree
2010-04-10	Sven Verdoolaege	isl_closure: take options	commit \| commitdiff \| tree
2010-04-10	Sven Verdoolaege	isl_map_affine_hull: handle non-obviously empty input	commit \| commitdiff \| tree
2010-04-10	Sven Verdoolaege	isl_map_compute_divs: handle non-obviously empty input	commit \| commitdiff \| tree
2010-04-10	Sven Verdoolaege	isl_basic_set_preimage: add extra sanity check	commit \| commitdiff \| tree
2010-04-10	Sven Verdoolaege	isl_basic_map_set_to_empty: add missing assignment	commit \| commitdiff \| tree
2010-04-10	Sven Verdoolaege	isl_equalities.c: isl_mat_variable_compression: clarify...	commit \| commitdiff \| tree
2010-04-10	Sven Verdoolaege	isl_sample.c: initial_basis: set n_unbounded and n_zero	commit \| commitdiff \| tree
2010-04-09	Sven Verdoolaege	isl_map_coalesce: only use non-redundant constraints...	commit \| commitdiff \| tree
2010-04-09	Sven Verdoolaege	isl_map_print: allow empty constraints	commit \| commitdiff \| tree
2010-04-09	Sven Verdoolaege	isl_options.h: allow inclusion from C++	commit \| commitdiff \| tree
2010-04-09	Sven Verdoolaege	isl_arg.h: allow inclusion from C++	commit \| commitdiff \| tree
2010-04-07	Sven Verdoolaege	isl_map_transitive_closure: handle existentials	commit \| commitdiff \| tree
2010-04-07	Sven Verdoolaege	isl_map_deltas: preserve dimension names	commit \| commitdiff \| tree
2010-04-07	Sven Verdoolaege	isl_map_print: support LaTeX output format	commit \| commitdiff \| tree
2010-04-07	Sven Verdoolaege	isl_map_simplify: don't remove any div definitions...	commit \| commitdiff \| tree
2010-04-07	Sven Verdoolaege	isl_map_intersect: add special cases for empty input...	commit \| commitdiff \| tree
2010-04-07	Sven Verdoolaege	isl_transitive_closure.c: path_along_delta: share code...	commit \| commitdiff \| tree
2010-04-07	Sven Verdoolaege	isl_transitive_closure.c: path_along_delta: try and...	commit \| commitdiff \| tree
2010-04-04	Sven Verdoolaege	export isl_qpolynomial_move_dims	commit \| commitdiff \| tree
2010-04-03	Sven Verdoolaege	add isl_qpolynomial_get_ctx	commit \| commitdiff \| tree
2010-04-03	Sven Verdoolaege	add isl_pw_qpolynomial_fold_get_dim	commit \| commitdiff \| tree
2010-04-03	Sven Verdoolaege	add some qpolynomial test functions	commit \| commitdiff \| tree
2010-04-03	Sven Verdoolaege	add isl_pw_qpolynomial_fold_{max,min}	commit \| commitdiff \| tree
2010-04-02	Sven Verdoolaege	isl_tab_min_at_most_neg_one: restore sample value of...	commit \| commitdiff \| tree
2010-04-02	Sven Verdoolaege	isl_map_coalesce: avoid reconsidering pairs considered...	commit \| commitdiff \| tree
2010-04-02	Sven Verdoolaege	isl_tab.c: update debugging aid check_table to presence...	commit \| commitdiff \| tree
2010-04-02	Sven Verdoolaege	isl_tab_relax: make sure no non-negative rows get a...	commit \| commitdiff \| tree
2010-04-02	Sven Verdoolaege	isl_tab_pip.c: always set row sign of found row to...	commit \| commitdiff \| tree
next

Integer set library

RSS Atom