projects / platform / upstream / isl.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
platform/upstream/isl.git
2011-02-21 Sven Verdoolaegeisl_pw_qpolynomial_bound: handle combination of wrappin... commit | commitdiff | tree | snapshot
2011-02-21 Sven Verdoolaegeisl_tab_pip.c: fix typo in comment commit | commitdiff | tree | snapshot
2011-02-21 Sven Verdoolaegeisl_tab: check for obviously empty tableaus after disco... commit | commitdiff | tree | snapshot
2011-02-21 Sven Verdoolaegeisl_basic_map_gist: prefer contraints without existenti... commit | commitdiff | tree | snapshot
2011-02-20 Sven Verdoolaegeisl_basic_map_sort_constraints: change comparison routine commit | commitdiff | tree | snapshot
2011-02-19 Sven Verdoolaegeisl_tab_ineq_type: classify more constraints as being... commit | commitdiff | tree | snapshot
2011-02-19 Sven Verdoolaegeisl_map_coalesce: be more relaxed about multiple equali... commit | commitdiff | tree | snapshot
2011-02-18 Sven Verdoolaegeadd isl_basic_map_from_domain_and_range commit | commitdiff | tree | snapshot
2011-02-18 Sven Verdoolaegeadd isl_basic_set_neg commit | commitdiff | tree | snapshot
2011-02-18 Sven Verdoolaegeadd isl_basic_set_flat_product commit | commitdiff | tree | snapshot
2011-02-18 Sven Verdoolaegeexport isl_basic_map_flatten commit | commitdiff | tree | snapshot
2011-02-18 Sven Verdoolaegeadd isl_basic_map_from_qpolynomial commit | commitdiff | tree | snapshot
2011-02-17 Sven Verdoolaegeisl_stream: support \<newline> line continuation commit | commitdiff | tree | snapshot
2011-02-17 Sven Verdoolaegeadd isl_union_map_read_from_file commit | commitdiff | tree | snapshot
2011-02-17 Sven Verdoolaegeisl_stream_read_map: accept 'true' and 'false' constraints commit | commitdiff | tree | snapshot
2011-02-17 Sven Verdoolaegeisl_stream_read_map: allow extra ';' at end of map... commit | commitdiff | tree | snapshot
2011-02-17 Sven Verdoolaegeisl_stream_read_map: allow negations commit | commitdiff | tree | snapshot
2011-02-17 Sven Verdoolaegeisl_stream_read_map: allow existential quantification... commit | commitdiff | tree | snapshot
2011-02-17 Sven Verdoolaegeprivately export isl_basic_map_add_div_constraints_var commit | commitdiff | tree | snapshot
2011-02-13 Sven Verdoolaegeisl_morph_basic_set: preserve rationality of input commit | commitdiff | tree | snapshot
2011-02-13 Sven Verdoolaegeadd isl_basic_set_is_rational commit | commitdiff | tree | snapshot
2011-02-13 Sven Verdoolaegeisl_printer_print_basic_map: explicitly mark rational... commit | commitdiff | tree | snapshot
2011-02-13 Sven Verdoolaegeisl_stream_read_map: read rational maps commit | commitdiff | tree | snapshot
2011-02-13 Sven Verdoolaegeisl_basic_map_insert: preserve rationality of input commit | commitdiff | tree | snapshot
2011-02-13 Sven Verdoolaegeadd isl_basic_map_set_rational commit | commitdiff | tree | snapshot
2011-02-13 Sven Verdoolaegeisl_basic_map_fast_cmp: differentiate between rational... commit | commitdiff | tree | snapshot
2011-02-13 Sven Verdoolaegeisl_output.c: remove some code duplication commit | commitdiff | tree | snapshot
2011-02-13 Sven Verdoolaegeisl_printer_print_basic_{set,map}: don't start new... commit | commitdiff | tree | snapshot
2011-02-12 Sven Verdoolaegeisl_stream_read_map: accept '|' at start of constraints commit | commitdiff | tree | snapshot
2011-02-12 Sven Verdoolaegeisl_stream: keep track of textual representation of... commit | commitdiff | tree | snapshot
2011-02-11 Sven Verdoolaegeisl_input.c: clean up read_disjuncts commit | commitdiff | tree | snapshot
2011-02-11 Sven Verdoolaegeisl_stream_read_map: accept disjunctions within a conjunct commit | commitdiff | tree | snapshot
2011-02-10 Sven Verdoolaegeisl_convex_hull.c: explicitly mark wrapping lp problem... commit | commitdiff | tree | snapshot
2011-02-10 Sven Verdoolaegeisl_tab_min: micro-optimization: postpone taking into... commit | commitdiff | tree | snapshot
2011-02-05 Sven VerdoolaegeMerge branch 'maint' commit | commitdiff | tree | snapshot
2011-02-05 Sven Verdoolaegeisl_tab_add_row: add further explanation commit | commitdiff | tree | snapshot
2011-02-05 Sven Verdoolaegeisl_tab.c: fix typos in comments commit | commitdiff | tree | snapshot
2011-02-05 Sven Verdoolaegeisl_tab_pip.c: correctly detect non-negativity of divs... commit | commitdiff | tree | snapshot
2011-02-05 Sven Verdoolaegeadd test commit | commitdiff | tree | snapshot
2011-02-05 Sven Verdoolaegetest both context handling mechanisms of isl_pip commit | commitdiff | tree | snapshot
2011-02-05 Sven Verdoolaegeisl_tab_is_equality: properly support "big parameter" commit | commitdiff | tree | snapshot
2011-02-05 Sven Verdoolaegeisl_tab_pip.c: fix typo in comment commit | commitdiff | tree | snapshot
2011-02-05 Sven Verdoolaegeisl_affine_hull.c: fix typos in comments commit | commitdiff | tree | snapshot
2011-02-05 Sven Verdoolaegeisl_union_map_compute_flow: return accesses with no... commit | commitdiff | tree | snapshot
2011-02-05 Sven VerdoolaegeMerge branch 'maint' commit | commitdiff | tree | snapshot
2011-02-05 Sven Verdoolaegeisl_union_map.c: inplace: pass data pointer to isl_hash... commit | commitdiff | tree | snapshot
2011-01-27 Sven Verdoolaegeisl_dim_move: update parameters of nested spaces commit | commitdiff | tree | snapshot
2011-01-27 Sven Verdoolaegeadd isl_map_nat_universe commit | commitdiff | tree | snapshot
2011-01-27 Sven Verdoolaegeclean up isl_set_from_basic_set commit | commitdiff | tree | snapshot
2011-01-27 Sven Verdoolaegemerge isl_basic_set/isl_basic_map and isl_set/isl_map commit | commitdiff | tree | snapshot
2011-01-26 Sven Verdoolaegerename "omega" transitive closure to "box" transitive... commit | commitdiff | tree | snapshot
2011-01-23 Sven Verdoolaegeexport isl_int_obj_free commit | commitdiff | tree | snapshot
2011-01-23 Sven Verdoolaegeisl_vertices.c: fix typos commit | commitdiff | tree | snapshot
2011-01-23 Sven Verdoolaegeisl_union_templ.c: fix typo commit | commitdiff | tree | snapshot
2011-01-23 Sven Verdoolaegeisl_map_subtract.c: n_non_redundant: propage isl_ctx commit | commitdiff | tree | snapshot
2011-01-23 Sven Verdoolaegeisl_bernstein.c: fix typo commit | commitdiff | tree | snapshot
2011-01-23 Sven Verdoolaegeadd isl_union_pw_qpolynomial_mul_isl_int commit | commitdiff | tree | snapshot
2011-01-23 Sven Verdoolaegeisl_stream_read_obj: read int objects commit | commitdiff | tree | snapshot
2011-01-23 Sven Verdoolaegeadd int objects for use in iscc commit | commitdiff | tree | snapshot
2011-01-22 Sven Verdoolaegeisl_basic_map_remove_divs: finalize result commit | commitdiff | tree | snapshot
2011-01-22 Sven Verdoolaegeadd isl_basic_set_get_tuple_name commit | commitdiff | tree | snapshot
2011-01-22 Sven VerdoolaegeMerge branch 'maint' commit | commitdiff | tree | snapshot
2011-01-22 Sven Verdoolaegeisl_union_map_sample: don't return NULL on empty input commit | commitdiff | tree | snapshot
2011-01-21 Sven Verdoolaegeisl_basic_map_set_tuple_name: finalize result commit | commitdiff | tree | snapshot
2011-01-21 Sven Verdoolaegeisl_transitive_closure.c: more anonymize input map... commit | commitdiff | tree | snapshot
2011-01-21 Sven Verdoolaegeisl_basic_set_factorizer: make sure group information... commit | commitdiff | tree | snapshot
2011-01-19 Sven Verdoolaegeadd isl_union_map_range_product commit | commitdiff | tree | snapshot
2011-01-19 Sven Verdoolaegedoc: document product functions commit | commitdiff | tree | snapshot
2011-01-19 Sven Verdoolaegerename isl_basic_set_product to isl_basic_set_list_product commit | commitdiff | tree | snapshot
2011-01-18 Sven Verdoolaegeisl_set_convex_hull: optionally use Fourier-Motzkin... commit | commitdiff | tree | snapshot
2011-01-16 Sven Verdoolaegeisl_basic_set_sample_point: exploit factorization if any commit | commitdiff | tree | snapshot
2011-01-16 Sven Verdoolaegeadd isl_morph_vec commit | commitdiff | tree | snapshot
2011-01-16 Sven Verdoolaegechange prototype of isl_vec_dump commit | commitdiff | tree | snapshot
2011-01-16 Sven Verdoolaegeadd isl_printer_print_vec commit | commitdiff | tree | snapshot
2011-01-16 Sven Verdoolaegeadd isl_union_set_apply_union_pw_qpolynomial_fold commit | commitdiff | tree | snapshot
2011-01-16 Sven Verdoolaegeexport isl_union_map_from_domain and isl_union_map_from... commit | commitdiff | tree | snapshot
2011-01-16 Sven Verdoolaegeisl_basic_map_intersect_domain: replace open-coded... commit | commitdiff | tree | snapshot
2011-01-16 Sven Verdoolaegeisl_stream_read_map: accept modulo expressions commit | commitdiff | tree | snapshot
2011-01-16 Sven Verdoolaegeisl_basic_map_insert: don't simplify the result commit | commitdiff | tree | snapshot
2011-01-16 Sven VerdoolaegeMerge branch 'maint' commit | commitdiff | tree | snapshot
2011-01-16 Sven Verdoolaegeisl_basic_map_from_constraint_matrices: clear newly... commit | commitdiff | tree | snapshot
2011-01-12 Sven Verdoolaegeisl_token_free: free string representation of keywords commit | commitdiff | tree | snapshot
2011-01-12 Sven Verdoolaegeisl_input.c: read_factor: drop unexpected identifier commit | commitdiff | tree | snapshot
2011-01-12 Sven Verdoolaegeisl_input.c: accept_affine_factor: avoid double free... commit | commitdiff | tree | snapshot
2011-01-08 Tobias GrosserAdd isl_union_(set/map)_detect_equalities commit | commitdiff | tree | snapshot
2011-01-08 Sven Verdoolaegeisl_stream_read_map: allow space names that happen... commit | commitdiff | tree | snapshot
2011-01-08 Sven Verdoolaegeisl_stream_next_token: keep track of string representat... commit | commitdiff | tree | snapshot
2011-01-07 Sven Verdoolaegeadd isl_basic_set_flatten commit | commitdiff | tree | snapshot
2011-01-07 Sven Verdoolaegeadd isl_union_map_simple_hull commit | commitdiff | tree | snapshot
2011-01-07 Sven VerdoolaegeMerge branch 'maint' commit | commitdiff | tree | snapshot
2011-01-07 Sven Verdoolaegeadd isl_set_remove_unknown_divs commit | commitdiff | tree | snapshot
2011-01-07 Sven Verdoolaegeisl_map_is_subset: don't compute divs of minuend commit | commitdiff | tree | snapshot
2011-01-07 Sven Verdoolaegerename isl_map_is_singleton to isl_map_fast_is_singleton commit | commitdiff | tree | snapshot
2011-01-07 Sven Verdoolaegeadd isl_map_fast_is_single_valued commit | commitdiff | tree | snapshot
2011-01-07 Sven Verdoolaegeadd isl_qpolynomial_dump commit | commitdiff | tree | snapshot
2011-01-07 Sven Verdoolaegeexport isl_union_set_dump commit | commitdiff | tree | snapshot
2011-01-07 Sven Verdoolaegeisl_qpolynomial_add_on_domain: compute gist with respec... commit | commitdiff | tree | snapshot
2011-01-06 Sven Verdoolaegeisl_union_map_coalesce and isl_union_map_compute_divs... commit | commitdiff | tree | snapshot
2011-01-06 Sven Verdoolaegeisl_basic_map_solve_lp: use denominator commit | commitdiff | tree | snapshot
2011-01-05 Sven VerdoolaegeMerge commit 'isl-0.05.1' commit | commitdiff | tree | snapshot
next
Domain: System / Uncategorized;