2011-10-10 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff |
2011-10-02 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff |
2011-09-23 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff |
2011-09-22 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff |
2011-09-09 | Sven Verdoolaege | Merge branch 'maint' | blob | commitdiff |
2011-09-03 | Sven Verdoolaege | rename isl_dim to isl_space | blob | commitdiff |
2010-11-20 | Sven Verdoolaege | Rename headers from isl_header.h to isl/header.h | blob | commitdiff | diff to current |
2010-07-31 | Sven Verdoolaege | add support for union sets and relations | blob | commitdiff | diff to current |