summaryrefslogtreecommitdiff
path: root/pip.c
AgeCommit message (Expand)AuthorFilesLines
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-1/+1
2010-12-18isl_pip: limit the total number of parameter values to testSven Verdoolaege1-29/+19
2010-12-13isl_pip: preserve names of parameters in input contextSven Verdoolaege1-9/+2
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-3/+3
2010-11-17isl_pip: avoid empty domain during verificationSven Verdoolaege1-47/+24
2010-10-26rename isl_map_remove to isl_map_remove_dimsSven Verdoolaege1-2/+3
2010-06-27isl_pip: rename pip_options to avoid conflict with PipLib's pip_options_freeSven Verdoolaege1-9/+9
2010-05-30isl_ctx: keep track of user optionsSven Verdoolaege1-3/+1
2010-05-15isl_options_parse: print help messageSven Verdoolaege1-2/+2
2010-04-19isl_pip and isl_cat: terminate isl_arg array with ISL_ARG_ENDSven Verdoolaege1-0/+1
2010-04-10isl_options_parse: only parse known options by defaultSven Verdoolaege1-1/+1
2010-03-10isl_pip: use isl_set_print instead of isl_set_dump to print resultsSven Verdoolaege1-3/+5
2010-03-04privately export isl_set_contains_pointSven Verdoolaege1-5/+5
2010-01-25drop redundant input_format argument from reading functionsSven Verdoolaege1-2/+2
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-10-21isl_pip: optionally perform some check on the resultsSven Verdoolaege1-6/+282
2009-09-06isl_pip.c: check return value of fscanfSven Verdoolaege1-1/+3
2009-08-07add an internal parametric integer linear program solverSven Verdoolaege1-0/+87
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 10:50:56 +0000