projects / platform / upstream / isl.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
isl_pip: rename pip_options to avoid conflict with PipLib's pip_options_free
[platform/upstream/isl.git] / doc / implementation.tex
2010-06-21 Sven Verdoolaegeisl_map_transitive_closure: check whether decomposition... blob | commitdiff
2010-04-23 Sven Verdoolaegeisl_map_transitive_closure: use simple hull in omega... blob | commitdiff | diff to current
2010-04-23 Sven Verdoolaegeisl_map_transitive_closure: try and compute closure... blob | commitdiff | diff to current
2010-04-21 Sven Verdoolaegedoc: document simple hull blob | commitdiff | diff to current
2010-04-21 Sven Verdoolaegedoc: emphasize that we are dealing with integer sets blob | commitdiff | diff to current
2010-04-15 Sven Verdoolaegeisl_map_transitive_closure: use Floyd-Warshall on disjo... blob | commitdiff | diff to current
2010-04-15 Sven Verdoolaegedoc: fix typos blob | commitdiff | diff to current
2010-04-13 Sven Verdoolaegedoc: cite Omega library documentation on computation... blob | commitdiff | diff to current
2010-04-10 Sven Verdoolaegeisl_map_closure: optionally use Omega-like algorithm blob | commitdiff | diff to current
2010-04-07 Sven Verdoolaegeisl_map_transitive_closure: handle existentials blob | commitdiff | diff to current
2010-04-01 Sven Verdoolaegeisl_map_transitive_closure: break early if input map... blob | commitdiff | diff to current
2010-04-01 Sven Verdoolaegeisl_map_transitive_closure: coalesce after each step blob | commitdiff | diff to current
2010-03-25 Sven Verdoolaegedoc: fix transitive closure example blob | commitdiff | diff to current
2010-03-14 Sven Verdoolaegedocument transitive closure implementation blob | commitdiff | diff to current
Domain: System / Uncategorized;