summaryrefslogtreecommitdiff
path: root/polyhedron_minimize.c
AgeCommit message (Expand)AuthorFilesLines
2011-01-16add isl_printer_print_vecSven Verdoolaege1-3/+7
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-4/+4
2010-01-25drop redundant input_format argument from reading functionsSven Verdoolaege1-1/+1
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-09-06polyhedron_minimize.c: handle all enumeration values in switchSven Verdoolaege1-1/+3
2009-08-28add isl_polyhedron_minimize applicationSven Verdoolaege1-0/+89