isl_map_transitive_closure: use Floyd-Warshall on disjoint domains and ranges
[platform/upstream/isl.git] / doc / implementation.tex
2010-04-15 Sven Verdoolaegeisl_map_transitive_closure: use Floyd-Warshall on disjo...
2010-04-15 Sven Verdoolaegedoc: fix typos
2010-04-13 Sven Verdoolaegedoc: cite Omega library documentation on computation...
2010-04-10 Sven Verdoolaegeisl_map_closure: optionally use Omega-like algorithm
2010-04-07 Sven Verdoolaegeisl_map_transitive_closure: handle existentials
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-25 Sven Verdoolaegedoc: fix transitive closure example
2010-03-14 Sven Verdoolaegedocument transitive closure implementation