isl_map_transitive_closure: handle existentials
[platform/upstream/isl.git] / basis_reduction_templ.c
2010-01-31 Sven Verdoolaegebasis_reduction_templ.c: fix typo in comment
2009-12-16 Sven Verdoolaegeadd copyright statements
2009-10-21 Sven Verdoolaegeput options in a separate isl_options structure
2009-10-21 Sven Verdoolaegeisl_tab_compute_reduced_basis: handle empty tables
2009-10-12 Sven Verdoolaegeisl_tab: improved error handling
2009-10-09 Sven Verdoolaegeisl_tab_compute_reduced_basis: handle unbounded directi...
2009-10-09 Sven Verdoolaegeisl_tab_compute_reduced_basis: work with affine basis...
2009-10-09 Sven Verdoolaegeisl_tab_compute_reduced_basis: allow incremental comput...
2009-10-09 Sven Verdoolaegeseparate out isl_tab_reduced_basis from isl_basic_set_r...
2009-10-09 Sven Verdoolaegeisl_basic_set_reduced_basis: fix value in directions...
2009-10-09 Sven Verdoolaegeisl_basic_set_reduced_basis: fix up documentation
2009-07-16 Sven Verdoolaegeisl_mat: keep track of isl_ctx
2009-07-15 Sven Verdoolaegeintroduce generalized basis reduction based sampling