summaryrefslogtreecommitdiff
path: root/isl_scan.c
AgeCommit message (Expand)AuthorFilesLines
2013-05-28add isl_set_count_valSven Verdoolaege1-0/+19
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
2012-01-16isl_tab_from_basic_map: preserve all constraints in input when trackingSven Verdoolaege1-1/+1
2011-03-16hide isl_ctx internalsSven Verdoolaege1-0/+1
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-1/+1
2010-12-18add isl_basic_set_count_uptoSven Verdoolaege1-0/+27
2010-12-18isl_scan.c: fix typo in commentSven Verdoolaege1-1/+1
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-1/+1
2010-06-26isl_tab_add_valid_eq: return int instead of isl_tab *Sven Verdoolaege1-1/+2
2010-05-13add isl_set_count_uptoSven Verdoolaege1-4/+21
2010-05-13add isl_set_scanSven Verdoolaege1-12/+24
2010-03-04add isl_set_countSven Verdoolaege1-0/+75
2010-03-04isl_basic_set_scan: make sure sufficient rows are allocated in tableauSven Verdoolaege1-0/+2
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-10-21extract isl_basic_set_scan from polytope_scan.cSven Verdoolaege1-0/+160