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 |
2009-12-16 | add copyright statements | Sven Verdoolaege | 1 | -0/+9 |
2008-08-25 | keep cache of blocks of isl_ints | Sven Verdoolaege | 1 | -18/+69 |
2008-08-25 | isl_basic_set_sample: remove equalities first | Sven Verdoolaege | 1 | -0/+8 |
2008-08-08 | Initial version of the integer set library | Sven Verdoolaege | 1 | -0/+45 |