add isl_basic_map_lexmin_pw_multi_aff
[platform/upstream/isl.git] / doc / manual.tex
2011-07-08 Sven VerdoolaegeMerge branch 'maint'
2011-06-29 Sven VerdoolaegeMerge branch 'maint'
2011-06-23 Sven VerdoolaegeMerge branch 'maint'
2011-06-18 Sven VerdoolaegeMerge branch 'maint'
2011-06-04 Sven VerdoolaegeMerge branch 'maint'
2011-05-20 Sven VerdoolaegeMerge branch 'maint'
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-06-19 Sven Verdoolaegeadd isl_version
2010-04-23 Sven Verdoolaegeisl_map_transitive_closure: try and compute closure...
2010-04-15 Sven Verdoolaegeisl_map_transitive_closure: use Floyd-Warshall on disjo...
2010-04-10 Sven Verdoolaegeisl_map_closure: optionally use Omega-like algorithm
2010-04-07 Sven Verdoolaegeisl_map_transitive_closure: handle existentials
2010-03-14 Sven Verdoolaegedocument transitive closure implementation
2009-09-06 Sven Verdoolaegeadd a rudimentary manual