add isl_set_max
[platform/upstream/isl.git] / doc / isl.bib
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...
2010-06-28 Sven Verdoolaegedoc: drop duplicate booktitle from Kelly1996closure...
2010-04-15 Sven Verdoolaegeisl_map_transitive_closure: use Floyd-Warshall on disjo...
2010-04-13 Sven Verdoolaegedoc: cite Omega library documentation on computation...
2010-04-01 Sven Verdoolaegeisl_map_transitive_closure: coalesce after each step
2010-03-14 Sven Verdoolaegedocument transitive closure implementation