summaryrefslogtreecommitdiff
path: root/isl_scan.h
AgeCommit message (Expand)AuthorFilesLines
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-2/+2
2010-05-13add isl_set_scanSven Verdoolaege1-0/+1
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-10-21extract isl_basic_set_scan from polytope_scan.cSven Verdoolaege1-0/+14