summaryrefslogtreecommitdiff
path: root/polyhedron_detect_equalities.c
AgeCommit message (Expand)AuthorFilesLines
2010-01-25drop redundant input_format argument from reading functionsSven Verdoolaege1-1/+1
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-10-08add isl_polyhedron_detect_equalities test applicationSven Verdoolaege1-0/+15