summaryrefslogtreecommitdiff
path: root/isl_ctx.c
AgeCommit message (Expand)AuthorFilesLines
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-12-16remove functions for converting between isl and PolyLibSven Verdoolaege1-7/+0
2009-10-21put options in a separate isl_options structureSven Verdoolaege1-9/+22
2009-10-10isl_tab_pip: use generalized basis reduction based context by defaultSven Verdoolaege1-0/+1
2009-08-28isl_seq_normalize: use pre-allocated temporary variable in isl_ctxSven Verdoolaege1-0/+3
2009-08-28isl_basic_set_sample: only perform basis reduction onceSven Verdoolaege1-0/+3
2009-08-07add an internal parametric integer linear program solverSven Verdoolaege1-0/+1
2009-07-15introduce generalized basis reduction based samplingSven Verdoolaege1-1/+7
2009-03-20isl_ctx: add negoneSven Verdoolaege1-0/+4
2009-03-20isl_solve_lp: use tableaus instead of calling piplib (by default)Sven Verdoolaege1-0/+2
2008-12-14allow parameters and dimensions to be namedSven Verdoolaege1-0/+4
2008-10-11add struct_ctx field to isl_set and isl_mapSven Verdoolaege1-0/+14
2008-08-25keep cache of blocks of isl_intsSven Verdoolaege1-0/+3
2008-08-25reimplement isl_basic_map_is_empty in terms of isl_basic_set_sampleSven Verdoolaege1-2/+6
2008-08-08Initial version of the integer set librarySven Verdoolaege1-0/+30
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 17:33:37 +0000