add isl_set_is_disjoint
[platform/upstream/isl.git] / isl_sort.c
2012-09-02 Sven VerdoolaegeMerge branch 'maint'
2012-08-02 Tobias GrosserUse an MIT licensed mergesort as the sorting algorithm...