add isl_aff_mod_val
[platform/upstream/isl.git] / isl_ilp.c
2012-09-02 Sven Verdoolaegerelicense isl under the MIT license
2012-09-02 Sven VerdoolaegeMerge branch 'maint'
2012-08-02 Sven Verdoolaegeisl_set_opt: align parameters
2011-10-10 Sven VerdoolaegeMerge branch 'maint'
2011-10-02 Sven VerdoolaegeMerge branch 'maint'
2011-09-23 Sven VerdoolaegeMerge branch 'maint'
2011-09-22 Sven VerdoolaegeMerge branch 'maint'
2011-09-09 Sven VerdoolaegeMerge branch 'maint'
2011-09-03 Sven Verdoolaegerename isl_dim to isl_space
2011-08-31 Sven VerdoolaegeMerge branch 'maint'
2011-08-11 Sven VerdoolaegeMerge branch 'maint'
2011-08-05 Sven VerdoolaegeMerge branch 'maint'
2011-08-03 Sven VerdoolaegeMerge branch 'maint'
2011-07-20 Sven Verdoolaegeadd isl_set_min
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 Verdoolaegeadd isl_basic_set_max
2011-05-20 Sven VerdoolaegeMerge branch 'maint'
2011-05-16 Sven Verdoolaegeadd isl_set_max
2011-05-05 Sven Verdoolaegerename *_fast_* functions to *_plain_*
2011-03-16 Sven Verdoolaegehide isl_ctx internals
2011-03-10 Sven VerdoolaegeMerge branch 'maint'
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
2011-01-27 Sven Verdoolaegemerge isl_basic_set/isl_basic_map and isl_set/isl_map
2010-11-20 Sven VerdoolaegeRename headers from isl_header.h to isl/header.h
2009-12-16 Sven Verdoolaegeadd copyright statements
2009-10-21 Sven Verdoolaegeisl_basic_set_solve_ilp: handle obviously empty sets
2009-10-21 Sven Verdoolaegeisl_basic_set_solve_ilp: fix handling of sets with...
2009-10-08 Sven Verdoolaegeisl_ilp.c: separate out solve_ilp_search
2009-09-13 Sven Verdoolaegerename isl_basic_set_sample to isl_basic_set_sample_vec
2009-09-13 Sven Verdoolaegemake some internal functions static
2009-08-28 Sven Verdoolaegeadd generalized basis reduction based ILP solver