projects / platform / upstream / isl.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
platform/upstream/isl.git
2011-04-21 Sven Verdoolaegeisl_dim_map: allow signed mapping commit | commitdiff | tree | snapshot
2011-04-21 Sven Verdoolaegeisl_dim_map: extract from isl_map.c commit | commitdiff | tree | snapshot
2011-04-21 Sven Verdoolaegechange prototype of isl_tab_dump commit | commitdiff | tree | snapshot
2011-04-21 Sven Verdoolaegeadd isl_map_remove_divs commit | commitdiff | tree | snapshot
2011-04-21 Sven Verdoolaegedoc: fix typo commit | commitdiff | tree | snapshot
2011-04-21 Sven Verdoolaegedoc: add a note on the accuracy of our approximation commit | commitdiff | tree | snapshot
2011-04-21 Sven Verdoolaegeadd isl_union_set_coefficients and isl_union_set_solutions commit | commitdiff | tree | snapshot
2011-04-19 Sven Verdoolaegeadd isl_union_set_lift commit | commitdiff | tree | snapshot
2011-04-19 Sven VerdoolaegeMerge branch 'maint' commit | commitdiff | tree | snapshot
2011-04-19 Sven Verdoolaegeisl_tab: alway free saved basis undo record commit | commitdiff | tree | snapshot
2011-04-19 Sven Verdoolaegemake sure destination for GDB module exists before... commit | commitdiff | tree | snapshot
2011-04-19 Sven Verdoolaegeisl_tab_pip.c: add_lexmin_eq: remove misguided optimiza... commit | commitdiff | tree | snapshot
2011-04-11 Sven Verdoolaegeisl_basic_map_lexmin: turn off equality detection on... commit | commitdiff | tree | snapshot
2011-04-11 Sven Verdoolaegeuse silent make rules commit | commitdiff | tree | snapshot
2011-04-11 Sven Verdoolaegeisl_stream_read_map: fix handling of divs in tuples commit | commitdiff | tree | snapshot
2011-04-11 Sven Verdoolaegeisl_mat_left_hermite: plug memory leak on error path commit | commitdiff | tree | snapshot
2011-04-11 Sven Verdoolaegeplug memory leak in isl_mat_product commit | commitdiff | tree | snapshot
2011-03-18 Sven Verdoolaegeisl 0.06 isl-0.06 commit | commitdiff | tree | snapshot
2011-03-18 Sven Verdoolaegedoc: add some implementation details on parametric... commit | commitdiff | tree | snapshot
2011-03-18 Sven Verdoolaegeisl_lp.c: avoid clang warning commit | commitdiff | tree | snapshot
2011-03-18 Sven Verdoolaegeisl_stream_read_map: accept floord and ceild expression... commit | commitdiff | tree | snapshot
2011-03-18 Sven Verdoolaegeisl_stream_read_map: accept min and max expressions... commit | commitdiff | tree | snapshot
2011-03-18 Sven Verdoolaegeisl_stream_read_map: properly read nested divs commit | commitdiff | tree | snapshot
2011-03-18 Sven Verdoolaegeisl_stream_read_map: treat divs as output variables... commit | commitdiff | tree | snapshot
2011-03-18 Sven Verdoolaegeisl_map_coalesce: plug memory leak on error path commit | commitdiff | tree | snapshot
2011-03-18 Sven Verdoolaegeisl_mat_extend: avoid memory leak when realloc fails commit | commitdiff | tree | snapshot
2011-03-18 Sven Verdoolaegeisl_basic_map_overlying_set: avoid memory leak when... commit | commitdiff | tree | snapshot
2011-03-18 Sven Verdoolaegeisl_stream_getc: avoid memory leak when realloc fails commit | commitdiff | tree | snapshot
2011-03-18 Sven Verdoolaegerudimentary support for asynchronous termination of... commit | commitdiff | tree | snapshot
2011-03-16 Sven Verdoolaegehide isl_ctx internals commit | commitdiff | tree | snapshot
2011-03-15 Sven Verdoolaegeisl_vec_read_from_file: drop input_format argument commit | commitdiff | tree | snapshot
2011-03-15 Sven Verdoolaegeisl_map.c: drop unused error label commit | commitdiff | tree | snapshot
2011-03-15 Sven Verdoolaegeisl_input.c: drop unused error label commit | commitdiff | tree | snapshot
2011-03-15 Sven Verdoolaegerespect DESTDIR when installing isl.py commit | commitdiff | tree | snapshot
2011-03-12 Sven Verdoolaegeisl_stream: accept "$" token commit | commitdiff | tree | snapshot
2011-03-12 Sven Verdoolaegeadd isl_union_map_power commit | commitdiff | tree | snapshot
2011-03-12 Sven Verdoolaegechange isl_map_power interface commit | commitdiff | tree | snapshot
2011-03-12 Sven Verdoolaegeadd isl_union_map_zip commit | commitdiff | tree | snapshot
2011-03-12 Sven Verdoolaegeadd private isl_basic_map_swap_vars commit | commitdiff | tree | snapshot
2011-03-10 Sven Verdoolaegeadd isl_union_map_deltas_map commit | commitdiff | tree | snapshot
2011-03-10 Sven VerdoolaegeMerge branch 'maint' commit | commitdiff | tree | snapshot
2011-03-10 Sven Verdoolaegeisl_map_deltas: don't copy flags from input commit | commitdiff | tree | snapshot
2011-03-05 Sven Verdoolaegeisl_stream_read_map: accept constant expressions of... commit | commitdiff | tree | snapshot
2011-03-05 Sven Verdoolaegeisl_stream: accept "/\" and "\/" as alternatives for... commit | commitdiff | tree | snapshot
2011-03-05 Sven Verdoolaegeisl_stream: only quote newline using '\' commit | commitdiff | tree | snapshot
2011-03-05 Sven Verdoolaegeisl_stream: maintain private ungetc buffer commit | commitdiff | tree | snapshot
2011-03-02 Sven Verdoolaegeisl_set_lifting: simplify and finalize result commit | commitdiff | tree | snapshot
2011-03-02 Sven Verdoolaegedoc: fix typo commit | commitdiff | tree | snapshot
2011-03-02 Sven Verdoolaegedoc: drop long outdated note on transitive closures commit | commitdiff | tree | snapshot
2011-03-01 Sven Verdoolaegeadd isl_basic_set_get_dim_name commit | commitdiff | tree | snapshot
2011-02-25 Sven Verdoolaegeisl_map_identity: take dimension specification of map... commit | commitdiff | tree | snapshot
2011-02-25 Sven Verdoolaegerename isl_dim_map to isl_dim_map_from_set commit | commitdiff | tree | snapshot
2011-02-25 Sven Verdoolaegetransitive closure: project out parameters when any... commit | commitdiff | tree | snapshot
2011-02-21 Sven Verdoolaegeprivately export isl_basic_set_reset_dim commit | commitdiff | tree | snapshot
2011-02-21 Sven Verdoolaegeisl_set_lift: preserve structure of space commit | commitdiff | tree | snapshot
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
next
Domain: System / Uncategorized;