projects / platform / upstream / isl.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
platform/upstream/isl.git
2010-03-04 Sven Verdoolaegeisl_stream: allow user specified keywords commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeisl_stream: add some auxiliary functions commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeisl_stream: read "definition" token ":=" commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeadd isl_int_tdiv_q commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeprivately export isl_set_contains_point commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeadd isl_set_count commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeadd isl_set_sample_point commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeadd isl_point commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeisl_basic_set_scan: make sure sufficient rows are alloc... commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeisl_map_subtract: only add divs when needed commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeadd isl_map_order_divs commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeextract isl_tab_add_div from isl_tab_pip.c commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeisl_vec.c: fix minor whitespace issue commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeadd isl_set_complement commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeexport isl_map_make_disjoint commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeadd isl_hash_table_foreach commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeisl_map_print: extract out print_disjuncts commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeadd isl_set_fast_is_universe commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeisl_input.c: accept_affine: fix memory leak on error... commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeisl_map_intersect: detect empty result also in case... commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeisl_map_read: skip until the end of the last line when... commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeisl_stream_next_token_on_same_line: check if last token... commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeisl_set_wrap_facet: make sure set is marked rational commit | commitdiff | tree | snapshot
2010-03-04 Sven Verdoolaegeisl_coalesce.c: fix typo in comment commit | commitdiff | tree | snapshot
2010-02-19 Sven Verdoolaegeisl_map_read: accept list of predicated elements commit | commitdiff | tree | snapshot
2010-02-19 Sven Verdoolaegeisl_map_read: extract out parsing of map body commit | commitdiff | tree | snapshot
2010-02-19 Sven Verdoolaegeisl_map_read: add dummy variable name for unnamed variables commit | commitdiff | tree | snapshot
2010-02-19 Sven Verdoolaegeisl_stream: accept ";" token commit | commitdiff | tree | snapshot
2010-02-19 Sven Verdoolaegeuse -O1 optimization level for gcc 4.2 commit | commitdiff | tree | snapshot
2010-02-19 Sven Verdoolaegedrop comma at the end of enumerations in include files commit | commitdiff | tree | snapshot
2010-02-18 Sven Verdoolaegeisl_map_read: accept affine combinations of earlier... commit | commitdiff | tree | snapshot
2010-02-18 Sven Verdoolaegeisl_map_read: construct basic map while reading variabl... commit | commitdiff | tree | snapshot
2010-02-18 Sven Verdoolaegeisl_map_print: add primes to duplicate names commit | commitdiff | tree | snapshot
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: improve accuracy by copying... commit | commitdiff | tree | snapshot
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: perform exactness check... commit | commitdiff | tree | snapshot
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: reformulate exactness test... commit | commitdiff | tree | snapshot
2010-02-18 Sven Verdoolaegeadd a transitive closure example from the Omega test... commit | commitdiff | tree | snapshot
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: compute power on strongly... commit | commitdiff | tree | snapshot
2010-02-17 Sven Verdoolaegeisl_map_transitive_closure: intersect with domain and... commit | commitdiff | tree | snapshot
2010-02-17 Sven Verdoolaegeisl_map_transitive_closure: extract out construction... commit | commitdiff | tree | snapshot
2010-02-17 Sven Verdoolaegeisl_map_transitive_closure: move acyclicity test up... commit | commitdiff | tree | snapshot
2010-02-17 Sven Verdoolaegeadd isl_set_lower_bound_si commit | commitdiff | tree | snapshot
2010-02-17 Sven Verdoolaegeisl_map_print: use consistent names on all disjuncts commit | commitdiff | tree | snapshot
2010-02-17 Sven Verdoolaegeisl_cat: allow specification of output format on comman... commit | commitdiff | tree | snapshot
2010-02-17 Sven Verdoolaegeisl_map_print: support ISL_FORMAT_POLYLIB commit | commitdiff | tree | snapshot
2010-02-17 Sven Verdoolaegeisl_map_coalesce: fix some regressions introduced by... commit | commitdiff | tree | snapshot
2010-02-15 Sven Verdoolaegeadd isl_closure test application commit | commitdiff | tree | snapshot
2010-02-15 Sven Verdoolaegeadd transitive closure example from Kelly's 1996 paper commit | commitdiff | tree | snapshot
2010-02-15 Sven Verdoolaegeisl_map_transitive_closure: construct general paths commit | commitdiff | tree | snapshot
2010-02-15 Sven Verdoolaegeisl_map_transitive_closure: prepare for the constructio... commit | commitdiff | tree | snapshot
2010-02-15 Sven Verdoolaegeisl_map_transitive_closure: construct paths that can... commit | commitdiff | tree | snapshot
2010-02-15 Sven Verdoolaegeisl_transitive_closure: extract out construction of... commit | commitdiff | tree | snapshot
2010-02-15 Sven Verdoolaegeisl_map_transitive_closure: use more generic acyclicity... commit | commitdiff | tree | snapshot
2010-02-15 Sven Verdoolaegeisl_map_print: add parentheses around disjuncts commit | commitdiff | tree | snapshot
2010-02-15 Sven Verdoolaegeisl_hash_table: use size that corresponds to the number... commit | commitdiff | tree | snapshot
2010-02-15 Sven Verdoolaegeisl_hash_table: grow table when we run out of entries commit | commitdiff | tree | snapshot
2010-02-15 Sven Verdoolaegeisl_map_coalesce: only use non-redundant constraints... commit | commitdiff | tree | snapshot
2010-02-13 Sven Verdoolaegeadd isl_set_fix_si commit | commitdiff | tree | snapshot
2010-02-13 Sven Verdoolaegeisl_map_read: accept chains of comparisons commit | commitdiff | tree | snapshot
2010-02-10 Sven Verdoolaegeexport isl_map_align_divs commit | commitdiff | tree | snapshot
2010-02-10 Sven Verdoolaegeisl_map_read: forget existentially quantified variables... commit | commitdiff | tree | snapshot
2010-02-10 Sven Verdoolaegeisl_input.c: remove needless indirection commit | commitdiff | tree | snapshot
2010-02-09 Sven Verdoolaegedoc: document how to inspect sets and relations commit | commitdiff | tree | snapshot
2010-02-09 Sven Verdoolaegeexport isl_map_compute_divs commit | commitdiff | tree | snapshot
2010-02-09 Sven Verdoolaegeisl_constraint_div: make sure requested div is a known div commit | commitdiff | tree | snapshot
2010-02-09 Sven Verdoolaegedoc: drop documentation of _dump functions commit | commitdiff | tree | snapshot
2010-02-09 Sven Verdoolaegeisl_map_print: improve output commit | commitdiff | tree | snapshot
2010-02-09 Sven Verdoolaegeadd isl_basic_map_foreach_constraint commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeisl_map_coalesce: handle more cases commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeprivately export isl_set_wrap_facet commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeisl_convex_hull.c: wrap_facet: allow unbounded facets... commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegedoc: improve decription of isl_map_transitive_closure commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeisl_map_transitive_closure: improve test for exactness commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeadd a counter example for Theorem 1 of the COCOA paper commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeadd isl_map_lower_bound_si commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeisl_map_power: coalesce domain and range commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeisl_flow.c: add missing isl_access_info_free return... commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeisl_coalesce.c: fix typo in comment commit | commitdiff | tree | snapshot
2010-02-07 Sven Verdoolaegeinclude/isl_int.h: argument of mp_get_memory_functions... commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_map_read: accept lists of affine expressions in... commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeadd isl_mat_from_row_vec and isl_mat_vec_concat commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_map_read: read extended polylib format commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeadd isl_stream_next_token_on_same_line commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_map_read: make sure polylib constraint coefficients... commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_{map,set}_dim: handle NULL input commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_map_read: use more uniform way of reading in polyli... commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_transitive_closure.c: fix typo in comment commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_map_transitive_closure: use more relaxed exactness... commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeadd isl_map_power and isl_map_transitive_closure commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeisl_map_subtract.c: make some internal functions static commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeadd generic isl_map_project_out commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeadd isl_{map,set}_add commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegerename isl_{map,set}_add to isl_{map,set}_add_basic_... commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeisl_set_project_out: always update dimension, even... commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeisl_dim_join: don't require names of joined variables... commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeadd isl_map_from_domain_and_range commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeisl_stream: treat "-" as operator rather than as -1 commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeisl_map_read: accept "strict" inequalities commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeisl_input.c: fix memory deallocation problem on missing... commit | commitdiff | tree | snapshot
2010-01-31 Sven Verdoolaegeadd dependence analysis commit | commitdiff | tree | snapshot
next
Domain: System / Uncategorized;