Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2010-11-20 | Rename headers from isl_header.h to isl/header.h | Sven Verdoolaege | 1 | -2/+2 |
2010-05-13 | add isl_set_scan | Sven Verdoolaege | 1 | -0/+1 |
2009-12-16 | add copyright statements | Sven Verdoolaege | 1 | -0/+9 |
2009-10-21 | extract isl_basic_set_scan from polytope_scan.c | Sven Verdoolaege | 1 | -0/+14 |