2011-05-20 | Sven Verdoolaege | add isl_basic_set_max | blob | commitdiff |
2011-05-20 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff | diff to current |
2011-05-16 | Sven Verdoolaege | add isl_set_max | blob | commitdiff | diff to current |
2010-11-20 | Sven Verdoolaege | Rename headers from isl_header.h to isl/header.h | blob | commitdiff | diff to current |