isl_tab_pip.c: remove unused context_lex_extend
[platform/upstream/isl.git] / isl_ctx.c
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 Verdoolaegeisl_blk: don't reuse overly large blocks for small...
2011-03-18 Sven Verdoolaegerudimentary support for asynchronous termination of...
2011-03-16 Sven Verdoolaegehide isl_ctx internals
2010-11-20 Sven VerdoolaegeRename headers from isl_header.h to isl/header.h
2010-06-19 Sven Verdoolaegeadd rudimentary error reporting mechanism
2010-06-12 Sven Verdoolaegeisl_ctx: add two
2010-06-12 Sven Verdoolaegeadd isl_ctx_peek_options
2010-05-30 Sven Verdoolaegeisl_ctx: keep track of user options
2010-05-04 Sven Verdoolaegeisl_ctx: add zero
2009-12-16 Sven Verdoolaegeadd copyright statements
2009-12-16 Sven Verdoolaegeremove functions for converting between isl and PolyLib
2009-10-21 Sven Verdoolaegeput options in a separate isl_options structure
2009-10-10 Sven Verdoolaegeisl_tab_pip: use generalized basis reduction based...
2009-08-28 Sven Verdoolaegeisl_seq_normalize: use pre-allocated temporary variable...
2009-08-28 Sven Verdoolaegeisl_basic_set_sample: only perform basis reduction...
2009-08-07 Sven Verdoolaegeadd an internal parametric integer linear program solver
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