Merge branch 'maint'
[platform/upstream/isl.git] / doc / implementation.tex
2011-05-05 Sven VerdoolaegeMerge branch 'maint'
2011-04-25 Sven VerdoolaegeMerge branch 'maint'
2011-04-21 Sven Verdoolaegedoc: add a note on the accuracy of our approximation
2011-03-18 Sven Verdoolaegedoc: add some implementation details on parametric...
2011-03-10 Sven VerdoolaegeMerge branch 'maint'
2011-02-25 Sven Verdoolaegetransitive closure: project out parameters when any...
2010-07-02 Sven Verdoolaegedoc: fix some typos
2010-06-28 Sven Verdoolaegedoc: fix typo
2010-06-28 Sven Verdoolaegedoc: use more explicit notation to avoid confusion
2010-06-21 Sven Verdoolaegeisl_map_transitive_closure: check whether decomposition...
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 Verdoolaegedoc: document simple hull
2010-04-21 Sven Verdoolaegedoc: emphasize that we are dealing with integer sets
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