fix isl_basic_map_move_dims in presence of existentially quantified variables
[platform/upstream/isl.git] / isl_transitive_closure.c
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