add isl_pw_qpolynomial_involves_dims
[platform/upstream/isl.git] / isl_transitive_closure.c
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