summaryrefslogtreecommitdiff
path: root/pip.c
AgeCommit message (Expand)AuthorFilesLines
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
2011-11-13hide isl_options structureSven Verdoolaege1-0/+1
2011-11-13introduce isl_args structure that constains isl_arg list and size of optionsSven Verdoolaege1-6/+5
2011-10-02pip: optionally use isl_basic_set_partial_lexmin_pw_multi_affSven Verdoolaege1-11/+47
2011-09-15drop "nparam" argument from isl_{set,map}_read_from_{file,str}Sven Verdoolaege1-3/+9
2011-09-03pip.c: explicitly convert context into parameter setSven Verdoolaege1-2/+4
2011-09-03rename isl_dim to isl_spaceSven Verdoolaege1-3/+3
2011-06-05Fix <strings.h> includesTobias Grosser1-0/+1
2011-05-05rename *_fast_* functions to *_plain_*Sven Verdoolaege1-1/+1
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-07-19 05:31:25 +0000