Public Git Hosting - isl.git/search

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
2010-04-02	Sven Verdoolaege	isl_printer_print_basic_{set,map}: add closing "}"	commit \| commitdiff \| tree
2010-04-01	Sven Verdoolaege	export isl_set_split_dims	commit \| commitdiff \| tree
2010-04-01	Sven Verdoolaege	add isl_set_recession_cone	commit \| commitdiff \| tree
2010-04-01	Sven Verdoolaege	add isl_set_dim_is_bounded	commit \| commitdiff \| tree
2010-04-01	Sven Verdoolaege	isl_map_transitive_closure: break early if input map...	commit \| commitdiff \| tree
2010-04-01	Sven Verdoolaege	isl_map_transitive_closure: coalesce after each step	commit \| commitdiff \| tree
2010-03-30	Sven Verdoolaege	export isl_pw_qpolynomial_coalesce	commit \| commitdiff \| tree
2010-03-30	Sven Verdoolaege	isl_tab.c: unrelax: restore row if variable is non...	commit \| commitdiff \| tree
2010-03-30	Sven Verdoolaege	isl_tab.c: cut_to_hyperplane: add extra sanity check	commit \| commitdiff \| tree
2010-03-30	Sven Verdoolaege	add isl_pw_qpolynomial_fold_size	commit \| commitdiff \| tree
2010-03-30	Sven Verdoolaege	add isl_pw_qpolynomial_split_dims	commit \| commitdiff \| tree
2010-03-30	Sven Verdoolaege	isl_qpolynomial_max: fix detection of inactive variables	commit \| commitdiff \| tree
2010-03-25	Sven Verdoolaege	doc: fix transitive closure example	commit \| commitdiff \| tree
2010-03-23	Sven Verdoolaege	isl_convex_hull.c: valid_direction: properly normalize...	commit \| commitdiff \| tree
2010-03-23	Sven Verdoolaege	isl_convex_hull.c: simplify computation of initial...	commit \| commitdiff \| tree
2010-03-23	Sven Verdoolaege	export isl_pw_qpolynomial_is_zero	commit \| commitdiff \| tree
2010-03-23	Sven Verdoolaege	add isl_pw_qpolynomial_fold_dim	commit \| commitdiff \| tree
2010-03-23	Sven Verdoolaege	add isl_int_get_d	commit \| commitdiff \| tree
2010-03-23	Sven Verdoolaege	add isl_pw_qpolynomial_min	commit \| commitdiff \| tree
next

Integer set library

RSS Atom