projects / platform / upstream / isl.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
platform/upstream/isl.git
2010-05-01 Sven Verdoolaegeisl_map_lex_le: use one basic set less in result commit | commitdiff | tree | snapshot
2010-05-01 Sven Verdoolaegeisl_stream: accept lexicographic operators commit | commitdiff | tree | snapshot
2010-04-28 Sven Verdoolaegeisl_map_transitive_closure: check if input is closed... commit | commitdiff | tree | snapshot
2010-04-28 Sven Verdoolaegeadd isl_printer_flush commit | commitdiff | tree | snapshot
2010-04-28 Sven Verdoolaegeisl_map_read: parse parametric Omega input commit | commitdiff | tree | snapshot
2010-04-28 Sven Verdoolaegeisl_map_read: fix typo commit | commitdiff | tree | snapshot
2010-04-28 Sven Verdoolaegeisl_convex_hull.c: is_bound: any inequality is a bound... commit | commitdiff | tree | snapshot
2010-04-28 Sven Verdoolaegeisl_convex_hull.c: add_bounds: propagate errors from... commit | commitdiff | tree | snapshot
2010-04-25 Sven Verdoolaegedocument isl_map_reverse commit | commitdiff | tree | snapshot
2010-04-24 Sven Verdoolaegeisl_stream_next_token: terminate string tokens commit | commitdiff | tree | snapshot
2010-04-23 Sven Verdoolaegeisl_map_transitive_closure: treat equality as pair... commit | commitdiff | tree | snapshot
2010-04-23 Sven Verdoolaegeisl_map_transitive_closure, omega-like: only use ?... commit | commitdiff | tree | snapshot
2010-04-23 Sven Verdoolaegeisl_map_transitive_closure: use simple hull in omega... commit | commitdiff | tree | snapshot
2010-04-23 Sven Verdoolaegeisl_map_transitive_closure: try and compute closure... commit | commitdiff | tree | snapshot
2010-04-23 Sven Verdoolaegeisl_map_coalesce: allow wrapping in sets that stick... commit | commitdiff | tree | snapshot
2010-04-23 Sven Verdoolaegeisl_map_coalesce: allowing cutting equalities in adjace... commit | commitdiff | tree | snapshot
2010-04-23 Sven Verdoolaegeadd some more coalescing test cases commit | commitdiff | tree | snapshot
2010-04-23 Sven Verdoolaegeisl_basic_map_gist: be more aggressive in removing... commit | commitdiff | tree | snapshot
2010-04-23 Sven Verdoolaegeisl_stream: accept string tokens commit | commitdiff | tree | snapshot
2010-04-23 Sven Verdoolaegeisl_tab_rollback: restore rows that are no longer marke... commit | commitdiff | tree | snapshot
2010-04-21 Sven Verdoolaegedoc: document simple hull commit | commitdiff | tree | snapshot
2010-04-21 Sven Verdoolaegedoc: emphasize that we are dealing with integer sets commit | commitdiff | tree | snapshot
2010-04-21 Sven Verdoolaegeisl_transitive_closure.c: path_along_delta: only avoid... commit | commitdiff | tree | snapshot
2010-04-21 Sven Verdoolaegeisl_map_transitive_closure: compute divs of input commit | commitdiff | tree | snapshot
2010-04-21 Sven Verdoolaegeisl_map_compute_divs: make sure result is gaussed and... commit | commitdiff | tree | snapshot
2010-04-21 Sven Verdoolaegeisl_printer_print_pw_qpolynomial: properly print constr... commit | commitdiff | tree | snapshot
2010-04-19 Sven Verdoolaegeisl_pip and isl_cat: terminate isl_arg array with ISL_A... commit | commitdiff | tree | snapshot
2010-04-19 Sven Verdoolaegedoc: document setting and getting of dimension names commit | commitdiff | tree | snapshot
2010-04-19 Sven Verdoolaegedoc: document *_get_dim functions commit | commitdiff | tree | snapshot
2010-04-19 Sven Verdoolaegeisl_map_convex_hull: handle non full-dimensional pairs... commit | commitdiff | tree | snapshot
2010-04-19 Sven Verdoolaegeisl_convex_hull.c: modulo_affine_hull: drop redundant... commit | commitdiff | tree | snapshot
2010-04-19 Sven Verdoolaegeisl_convex_hull.c: convex_hull_pair: skip direction... commit | commitdiff | tree | snapshot
2010-04-18 Sven Verdoolaegeisl_printer_print_basic_set: fix up printing to string... commit | commitdiff | tree | snapshot
2010-04-18 Sven Verdoolaegeadd isl_set_neg and isl_set_sum commit | commitdiff | tree | snapshot
2010-04-16 Sven Verdoolaegeisl_transitive_closure.c: fix documentation of construc... commit | commitdiff | tree | snapshot
2010-04-15 Sven Verdoolaegeisl_map_coalesce: make sure result still contains set... commit | commitdiff | tree | snapshot
2010-04-15 Sven Verdoolaegeisl_map_transitive_closure: Floyd-Warshall: properly... commit | commitdiff | tree | snapshot
2010-04-15 Sven Verdoolaegeisl_map_transitive_closure: use Floyd-Warshall on disjo... commit | commitdiff | tree | snapshot
2010-04-15 Sven Verdoolaegeisl_transitive_closure.c: extract out isl_set_overlaps commit | commitdiff | tree | snapshot
2010-04-15 Sven Verdoolaegeisl_map_transitive_closure: project out length on each... commit | commitdiff | tree | snapshot
2010-04-15 Sven Verdoolaegeisl_transitive_closure.c: construct_component: don... commit | commitdiff | tree | snapshot
2010-04-15 Sven Verdoolaegeisl_map_transitive_closure: don't add length parameter commit | commitdiff | tree | snapshot
2010-04-15 Sven Verdoolaegedoc: fix typos commit | commitdiff | tree | snapshot
2010-04-13 Sven Verdoolaegeisl_set_gist: make context argument an isl_set for... commit | commitdiff | tree | snapshot
2010-04-13 Sven Verdoolaegeisl_map_transitive_closure: coalesce input map commit | commitdiff | tree | snapshot
2010-04-13 Sven Verdoolaegeisl_transitive_closure.c: construct_component: always... commit | commitdiff | tree | snapshot
2010-04-13 Sven Verdoolaegedoc: cite Omega library documentation on computation... commit | commitdiff | tree | snapshot
2010-04-13 Sven Verdoolaegeadd isl_stream_read_map commit | commitdiff | tree | snapshot
2010-04-13 Sven Verdoolaegeisl_arg.h: add missing include commit | commitdiff | tree | snapshot
2010-04-11 Sven Verdoolaegeisl_basic_map_move_dims: normalize equalities commit | commitdiff | tree | snapshot
2010-04-11 Sven Verdoolaegerename isl_map_move to isl_map_move_dims commit | commitdiff | tree | snapshot
2010-04-10 Sven Verdoolaegeisl_options_parse: only parse known options by default commit | commitdiff | tree | snapshot
2010-04-10 Sven Verdoolaegeisl_map_closure: optionally use Omega-like algorithm commit | commitdiff | tree | snapshot
2010-04-10 Sven Verdoolaegeisl_closure: take options commit | commitdiff | tree | snapshot
2010-04-10 Sven Verdoolaegeisl_map_affine_hull: handle non-obviously empty input commit | commitdiff | tree | snapshot
2010-04-10 Sven Verdoolaegeisl_map_compute_divs: handle non-obviously empty input commit | commitdiff | tree | snapshot
2010-04-10 Sven Verdoolaegeisl_basic_set_preimage: add extra sanity check commit | commitdiff | tree | snapshot
2010-04-10 Sven Verdoolaegeisl_basic_map_set_to_empty: add missing assignment commit | commitdiff | tree | snapshot
2010-04-10 Sven Verdoolaegeisl_equalities.c: isl_mat_variable_compression: clarify... commit | commitdiff | tree | snapshot
2010-04-10 Sven Verdoolaegeisl_sample.c: initial_basis: set n_unbounded and n_zero commit | commitdiff | tree | snapshot
2010-04-09 Sven Verdoolaegeisl_map_coalesce: only use non-redundant constraints... commit | commitdiff | tree | snapshot
2010-04-09 Sven Verdoolaegeisl_map_print: allow empty constraints commit | commitdiff | tree | snapshot
2010-04-09 Sven Verdoolaegeisl_options.h: allow inclusion from C++ commit | commitdiff | tree | snapshot
2010-04-09 Sven Verdoolaegeisl_arg.h: allow inclusion from C++ commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_map_transitive_closure: handle existentials commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_map_deltas: preserve dimension names commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_map_print: support LaTeX output format commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_map_simplify: don't remove any div definitions... commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_map_intersect: add special cases for empty input... commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_transitive_closure.c: path_along_delta: share code... commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_transitive_closure.c: path_along_delta: try and... commit | commitdiff | tree | snapshot
2010-04-04 Sven Verdoolaegeexport isl_qpolynomial_move_dims commit | commitdiff | tree | snapshot
2010-04-03 Sven Verdoolaegeadd isl_qpolynomial_get_ctx commit | commitdiff | tree | snapshot
2010-04-03 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_get_dim commit | commitdiff | tree | snapshot
2010-04-03 Sven Verdoolaegeadd some qpolynomial test functions commit | commitdiff | tree | snapshot
2010-04-03 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_{max,min} commit | commitdiff | tree | snapshot
2010-04-02 Sven Verdoolaegeisl_tab_min_at_most_neg_one: restore sample value of... commit | commitdiff | tree | snapshot
2010-04-02 Sven Verdoolaegeisl_map_coalesce: avoid reconsidering pairs considered... commit | commitdiff | tree | snapshot
2010-04-02 Sven Verdoolaegeisl_tab.c: update debugging aid check_table to presence... commit | commitdiff | tree | snapshot
2010-04-02 Sven Verdoolaegeisl_tab_relax: make sure no non-negative rows get a... commit | commitdiff | tree | snapshot
2010-04-02 Sven Verdoolaegeisl_tab_pip.c: always set row sign of found row to... commit | commitdiff | tree | snapshot
2010-04-02 Sven Verdoolaegeisl_printer_print_basic_{set,map}: add closing "}" commit | commitdiff | tree | snapshot
2010-04-01 Sven Verdoolaegeexport isl_set_split_dims commit | commitdiff | tree | snapshot
2010-04-01 Sven Verdoolaegeadd isl_set_recession_cone commit | commitdiff | tree | snapshot
2010-04-01 Sven Verdoolaegeadd isl_set_dim_is_bounded commit | commitdiff | tree | snapshot
2010-04-01 Sven Verdoolaegeisl_map_transitive_closure: break early if input map... commit | commitdiff | tree | snapshot
2010-04-01 Sven Verdoolaegeisl_map_transitive_closure: coalesce after each step commit | commitdiff | tree | snapshot
2010-03-30 Sven Verdoolaegeexport isl_pw_qpolynomial_coalesce commit | commitdiff | tree | snapshot
2010-03-30 Sven Verdoolaegeisl_tab.c: unrelax: restore row if variable is non... commit | commitdiff | tree | snapshot
2010-03-30 Sven Verdoolaegeisl_tab.c: cut_to_hyperplane: add extra sanity check commit | commitdiff | tree | snapshot
2010-03-30 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_size commit | commitdiff | tree | snapshot
2010-03-30 Sven Verdoolaegeadd isl_pw_qpolynomial_split_dims commit | commitdiff | tree | snapshot
2010-03-30 Sven Verdoolaegeisl_qpolynomial_max: fix detection of inactive variables commit | commitdiff | tree | snapshot
2010-03-25 Sven Verdoolaegedoc: fix transitive closure example commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeisl_convex_hull.c: valid_direction: properly normalize... commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeisl_convex_hull.c: simplify computation of initial... commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeexport isl_pw_qpolynomial_is_zero commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_dim commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeadd isl_int_get_d commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeadd isl_pw_qpolynomial_min commit | commitdiff | tree | snapshot
next
Domain: System / Uncategorized;