summaryrefslogtreecommitdiff
path: root/polyhedron_minimize.c
AgeCommit message (Expand)AuthorFilesLines
2013-06-25deprecate isl_intSven Verdoolaege1-1/+1
2013-06-25hide isl_vec internalsSven Verdoolaege1-0/+1
2013-06-25hide isl_seqSven Verdoolaege1-1/+1
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-03-15isl_vec_read_from_file: drop input_format argumentSven Verdoolaege1-1/+1
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