summaryrefslogtreecommitdiff
path: root/isl_blk.c
AgeCommit message (Expand)AuthorFilesLines
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-2/+2
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2008-08-25keep cache of blocks of isl_intsSven Verdoolaege1-18/+69
2008-08-25isl_basic_set_sample: remove equalities firstSven Verdoolaege1-0/+8
2008-08-08Initial version of the integer set librarySven Verdoolaege1-0/+45