summaryrefslogtreecommitdiff
path: root/polytope_scan.c
AgeCommit message (Expand)AuthorFilesLines
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
2011-09-15drop "nparam" argument from isl_{set,map}_read_from_{file,str}Sven Verdoolaege1-1/+1
2011-04-27rename isl_mat_dump to isl_mat_print_internalSven Verdoolaege1-1/+1
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-1/+1
2010-12-01hide isl_basic_set internalsSven Verdoolaege1-1/+4
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-1/+1
2010-09-04add public API for matricesSven Verdoolaege1-0/+1
2010-09-04isl_polytope_scan: improve error handlingSven Verdoolaege1-0/+3
2010-01-25drop redundant input_format argument from reading functionsSven Verdoolaege1-1/+1
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-10-21extract isl_basic_set_scan from polytope_scan.cSven Verdoolaege1-141/+39
2009-10-12isl_tab: improved error handlingSven Verdoolaege1-2/+4
2009-10-09isl_tab_compute_reduced_basis: work with affine basis instead of linear basisSven Verdoolaege1-2/+2
2009-10-09isl_tab_compute_reduced_basis: allow incremental computationSven Verdoolaege1-4/+7
2009-10-09isl_polytope_scan: use isl_tab_from_basic_setSven Verdoolaege1-3/+3
2009-09-06polytope_scan.c: add missing includeSven Verdoolaege1-0/+1
2009-08-28add isl_polytope_scan applicationSven Verdoolaege1-0/+183