isl_tab_cone_is_bounded: start over after computing sign_of_max
[platform/upstream/isl.git] / isl_ctx.c
2009-07-15 Sven Verdoolaegeintroduce generalized basis reduction based sampling
2009-03-20 Sven Verdoolaegeisl_ctx: add negone
2009-03-20 Sven Verdoolaegeisl_solve_lp: use tableaus instead of calling piplib...
2008-12-14 Sven Verdoolaegeallow parameters and dimensions to be named
2008-10-11 Sven Verdoolaegeadd struct_ctx field to isl_set and isl_map
2008-08-25 Sven Verdoolaegekeep cache of blocks of isl_ints
2008-08-25 Sven Verdoolaegereimplement isl_basic_map_is_empty in terms of isl_basi...
2008-08-07 Sven VerdoolaegeInitial version of the integer set library