summaryrefslogtreecommitdiff
path: root/isl_input.c
AgeCommit message (Expand)AuthorFilesLines
2011-03-18isl_stream_read_map: accept floord and ceild expressions in constraintsSven Verdoolaege1-19/+40
2011-03-18isl_stream_read_map: accept min and max expressions in constraintsSven Verdoolaege1-3/+246
2011-03-18isl_stream_read_map: properly read nested divsSven Verdoolaege1-0/+1
2011-03-18isl_stream_read_map: treat divs as output variables while adding constraintsSven Verdoolaege1-1/+39
2011-03-16hide isl_ctx internalsSven Verdoolaege1-0/+1
2011-03-15isl_vec_read_from_file: drop input_format argumentSven Verdoolaege1-8/+4
2011-03-15isl_input.c: drop unused error labelSven Verdoolaege1-3/+0
2011-03-05isl_stream_read_map: accept constant expressions of the form x^ySven Verdoolaege1-11/+40
2011-02-17add isl_union_map_read_from_fileSven Verdoolaege1-0/+24
2011-02-17isl_stream_read_map: accept 'true' and 'false' constraintsSven Verdoolaege1-0/+9
2011-02-17isl_stream_read_map: allow extra ';' at end of map descriptionSven Verdoolaege1-0/+4
2011-02-17isl_stream_read_map: allow negationsSven Verdoolaege1-1/+13
2011-02-17isl_stream_read_map: allow existential quantification over disjunctionsSven Verdoolaege1-87/+39
2011-02-13isl_stream_read_map: read rational mapsSven Verdoolaege1-17/+39
2011-02-12isl_stream_read_map: accept '|' at start of constraintsSven Verdoolaege1-1/+2
2011-02-11isl_input.c: clean up read_disjunctsSven Verdoolaege1-22/+3
2011-02-11isl_stream_read_map: accept disjunctions within a conjunctSven Verdoolaege1-22/+46
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-1/+1
2011-01-23isl_stream_read_obj: read int objectsSven Verdoolaege1-0/+13
2011-01-16isl_stream_read_map: accept modulo expressionsSven Verdoolaege1-0/+50
2011-01-16Merge branch 'maint'Sven Verdoolaege1-1/+3
2011-01-12isl_input.c: read_factor: drop unexpected identifierSven Verdoolaege1-0/+1
2011-01-12isl_input.c: accept_affine_factor: avoid double free on invalid inputSven Verdoolaege1-1/+2
2011-01-08isl_stream_read_map: allow space names that happen to be keywordsSven Verdoolaege1-2/+2
2010-12-15basic_map_read_polylib: add more sanity checksSven Verdoolaege1-2/+15
2010-12-07isl_stream_read_pw_qpolynomial: accept powers on compound expressionsSven Verdoolaege1-0/+4
2010-12-07add isl_qpolynomial_powSven Verdoolaege1-1/+1
2010-11-24isl_vec_read_polylib: use isl_streamSven Verdoolaege1-34/+33
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-6/+6
2010-11-17add isl_union_map_read_from_strSven Verdoolaege1-0/+67
2010-11-04isl_stream_read_pw_qpolynomial: read nested divsSven Verdoolaege1-17/+17
2010-10-28isl_stream_read_map: read_var_def: read var definition in "clean" basic mapSven Verdoolaege1-7/+13
2010-10-26isl_stream_read_map: read_var_list: simplify and finalize resultSven Verdoolaege1-0/+2
2010-10-17basic_map_read_polylib: clear newly created divsSven Verdoolaege1-0/+1
2010-10-16isl_stream_read_map: properly parse nested spacesSven Verdoolaege1-7/+14
2010-09-22isl_input.c: accept divs in affine expressionsSven Verdoolaege1-15/+91
2010-09-22Revert "isl_input.c: read_tuple: construct isl_dim instead of isl_basic_map"Sven Verdoolaege1-111/+70
2010-09-22isl_input.c: obj_read: error out on intermediate NULL resultsSven Verdoolaege1-4/+4
2010-09-22isl_input.c: store div definition in variableSven Verdoolaege1-14/+45
2010-09-04isl_input.c add_equalities: gauss and finalize result after adding equalitiesSven Verdoolaege1-0/+2
2010-09-04add public API for matricesSven Verdoolaege1-0/+1
2010-08-24isl_map_read_from_str: parse tuple entries with leading minus signSven Verdoolaege1-1/+2
2010-08-18add type to isl_{union_,}pw_qpolynomial_foldSven Verdoolaege1-1/+1
2010-08-18isl_input.c: read_term: allow terms starting with negative constantSven Verdoolaege1-3/+2
2010-08-18isl_stream_read_obj: read reductionsSven Verdoolaege1-4/+48
2010-08-18isl_input.c: read_factor: fix read after free in error pathSven Verdoolaege1-3/+6
2010-08-06add isl_pw_qpolynomial_read_from_strSven Verdoolaege1-0/+12
2010-08-05support nested isl_dimsSven Verdoolaege1-25/+57
2010-08-05isl_input.c: read_tuple: construct isl_dim instead of isl_basic_mapSven Verdoolaege1-57/+92
2010-07-31add support for union sets and relationsSven Verdoolaege1-3/+71