add isl_basic_set_max
[platform/upstream/isl.git] / include / isl / ilp.h
2011-05-20 Sven Verdoolaegeadd isl_basic_set_max
2011-05-20 Sven VerdoolaegeMerge branch 'maint'
2011-05-16 Sven Verdoolaegeadd isl_set_max
2010-11-20 Sven VerdoolaegeRename headers from isl_header.h to isl/header.h