isl_stream_read_map: properly read nested divs
[platform/upstream/isl.git] / isl_transitive_closure.c
2011-03-16 Sven Verdoolaegehide isl_ctx internals
2011-03-12 Sven Verdoolaegeadd isl_union_map_power
2011-03-12 Sven Verdoolaegechange isl_map_power interface
2011-03-10 Sven VerdoolaegeMerge branch 'maint'
2011-02-25 Sven Verdoolaegeisl_map_identity: take dimension specification of map...
2011-02-25 Sven Verdoolaegetransitive closure: project out parameters when any...
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
2011-01-27 Sven Verdoolaegemerge isl_basic_set/isl_basic_map and isl_set/isl_map
2011-01-26 Sven Verdoolaegerename "omega" transitive closure to "box" transitive...
2011-01-22 Sven VerdoolaegeMerge branch 'maint'
2011-01-21 Sven Verdoolaegeisl_transitive_closure.c: more anonymize input map...
2010-11-20 Sven VerdoolaegeRename headers from isl_header.h to isl/header.h
2010-11-05 Sven Verdoolaegehide some functions that were exposed by mistake
2010-10-06 Sven Verdoolaegerename isl_map_add to isl_map_add_dims
2010-09-04 Sven Verdoolaegeadd public API for matrices
2010-08-05 Sven Verdoolaegesupport nested isl_dims
2010-08-02 Sven Verdoolaegeisl_transitive_closure.c: anonymize input map during...
2010-08-02 Sven Verdoolaegeisl_transitive_closure.c: keep track of domains for...
2010-07-31 Sven Verdoolaegeadd support for union sets and relations
2010-07-31 Sven Verdoolaegeisl_transitive_closure.c: extract out some reusable...
2010-07-31 Sven Verdoolaegeisl_dim: allow specification of tuple names
2010-07-30 Sven Verdoolaegeisl_transitive_closure.c: fix double free on error...
2010-07-24 Sven Verdoolaegeadd isl_map_reaching_path_lengths
2010-07-24 Sven Verdoolaegeisl_map_power: delay equating path lengths to power...
2010-07-24 Sven Verdoolaegeisl_map_power: apply Floyd-Warshall to compute powers...
2010-07-23 Sven Verdoolaegeisl_transitive_closure.c: fix typo in comment
2010-06-21 Sven Verdoolaegeisl_map_transitive_closure: check whether decomposition...
2010-05-30 Sven Verdoolaegefix some icc warnings
2010-05-04 Sven Verdoolaegeisl_map_transitive_closure: coalesce input before check...
2010-04-28 Sven Verdoolaegeisl_map_transitive_closure: check if input is closed...
2010-04-23 Sven Verdoolaegeisl_map_transitive_closure: treat equality as pair...
2010-04-23 Sven Verdoolaegeisl_map_transitive_closure, omega-like: only use ?...
2010-04-23 Sven Verdoolaegeisl_map_transitive_closure: use simple hull in omega...
2010-04-23 Sven Verdoolaegeisl_map_transitive_closure: try and compute closure...
2010-04-21 Sven Verdoolaegeisl_transitive_closure.c: path_along_delta: only avoid...
2010-04-21 Sven Verdoolaegeisl_map_transitive_closure: compute divs of input
2010-04-16 Sven Verdoolaegeisl_transitive_closure.c: fix documentation of construc...
2010-04-15 Sven Verdoolaegeisl_map_transitive_closure: Floyd-Warshall: properly...
2010-04-15 Sven Verdoolaegeisl_map_transitive_closure: use Floyd-Warshall on disjo...
2010-04-15 Sven Verdoolaegeisl_transitive_closure.c: extract out isl_set_overlaps
2010-04-15 Sven Verdoolaegeisl_map_transitive_closure: project out length on each...
2010-04-15 Sven Verdoolaegeisl_transitive_closure.c: construct_component: don...
2010-04-15 Sven Verdoolaegeisl_map_transitive_closure: don't add length parameter
2010-04-13 Sven Verdoolaegeisl_map_transitive_closure: coalesce input map
2010-04-13 Sven Verdoolaegeisl_transitive_closure.c: construct_component: always...
2010-04-10 Sven Verdoolaegeisl_map_closure: optionally use Omega-like algorithm
2010-04-07 Sven Verdoolaegeisl_map_transitive_closure: handle existentials
2010-04-07 Sven Verdoolaegeisl_transitive_closure.c: path_along_delta: share code...
2010-04-07 Sven Verdoolaegeisl_transitive_closure.c: path_along_delta: try and...
2010-04-01 Sven Verdoolaegeisl_map_transitive_closure: break early if input map...
2010-04-01 Sven Verdoolaegeisl_map_transitive_closure: coalesce after each step
2010-03-14 Sven Verdoolaegedocument transitive closure implementation
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: improve accuracy by copying...
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: perform exactness check...
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: reformulate exactness test...
2010-02-18 Sven Verdoolaegeisl_map_transitive_closure: compute power on strongly...
2010-02-17 Sven Verdoolaegeisl_map_transitive_closure: intersect with domain and...
2010-02-17 Sven Verdoolaegeisl_map_transitive_closure: extract out construction...
2010-02-17 Sven Verdoolaegeisl_map_transitive_closure: move acyclicity test up...
2010-02-15 Sven Verdoolaegeisl_map_transitive_closure: construct general paths
2010-02-15 Sven Verdoolaegeisl_map_transitive_closure: prepare for the constructio...
2010-02-15 Sven Verdoolaegeisl_map_transitive_closure: construct paths that can...
2010-02-15 Sven Verdoolaegeisl_transitive_closure: extract out construction of...
2010-02-15 Sven Verdoolaegeisl_map_transitive_closure: use more generic acyclicity...
2010-02-08 Sven Verdoolaegeisl_map_transitive_closure: improve test for exactness
2010-02-08 Sven Verdoolaegeisl_map_power: coalesce domain and range
2010-02-04 Sven Verdoolaegeisl_transitive_closure.c: fix typo in comment
2010-02-04 Sven Verdoolaegeisl_map_transitive_closure: use more relaxed exactness...
2010-02-03 Sven Verdoolaegeadd isl_map_power and isl_map_transitive_closure