summaryrefslogtreecommitdiff
path: root/isl_affine_hull.c
AgeCommit message (Expand)AuthorFilesLines
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-1/+1
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-5/+5
2010-09-16merge isl_basic_set_drop_constraints_involving implementationsSven Verdoolaege1-5/+9
2010-09-04add public API for matricesSven Verdoolaege1-0/+1
2010-06-26isl_affine_hull.c: outside_point: fix error handlingSven Verdoolaege1-1/+1
2010-06-26isl_affine_hull.c: affine_hull_with_cone: avoid NULL pointer dereferenceSven Verdoolaege1-2/+5
2010-06-26isl_affine_hull.c: extend_affine_hull: avoid NULL pointer dereferenceSven Verdoolaege1-0/+2
2010-06-26isl_affine_hull.c: equalities_in_underlying_set: avoid NULL pointer dereferenceSven Verdoolaege1-2/+5
2010-06-26isl_affine_hull.c: equalities_in_underlying_set: plug memory leak on error pathSven Verdoolaege1-2/+3
2010-06-26isl_affine_hull.c: affine_hull: fix erro handlingSven Verdoolaege1-1/+5
2010-06-26isl_basic_map_affine_hull: avoid NULL pointer dereferenceSven Verdoolaege1-1/+2
2010-06-26isl_tab_add_eq: return int instead of isl_tab *Sven Verdoolaege1-3/+3
2010-06-12isl_tab_detect_implicit_equalities: return integer instead of struct isl_tab *Sven Verdoolaege1-1/+6
2010-05-30remove some unused variablesSven Verdoolaege1-2/+1
2010-04-10isl_map_affine_hull: handle non-obviously empty inputSven Verdoolaege1-4/+3
2010-04-01add isl_set_recession_coneSven Verdoolaege1-0/+26
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-12-07isl_tab: keep track of isl_basic_map instead of isl_basic_setSven Verdoolaege1-8/+14
2009-11-29isl_tab_add_ineq and isl_tab_mark_empty: return status instead of isl_tab *Sven Verdoolaege1-2/+3
2009-10-10add isl_tab_detect_equalitiesSven Verdoolaege1-2/+136
2009-10-09isl_affine_hull.c: uset_affine_hull_bounded: use tableaus to perform computationSven Verdoolaege1-73/+104
2009-10-09isl_basic_map_detect_equalities: keep track of sampleSven Verdoolaege1-4/+35
2009-10-09isl_basic_map_detect_equalities: only compute recession cone onceSven Verdoolaege1-38/+54
2009-10-08rename isl_tab_detect_equalities to isl_tab_detect_implicit_equalitiesSven Verdoolaege1-1/+1
2009-10-07add isl_basic_set_detect_equalitiesSven Verdoolaege1-0/+7
2009-10-02add isl_set_detect_equalitiesSven Verdoolaege1-0/+5
2009-09-13isl_sample.c: move isl_basic_set_from_vec from isl_affine_hull.cSven Verdoolaege1-34/+0
2009-09-13rename isl_basic_set_sample to isl_basic_set_sample_vecSven Verdoolaege1-1/+1
2009-09-06isl_affine_hull.c: remove unused variableSven Verdoolaege1-2/+0
2009-09-06isl_assert: validate all arguments and fix up falloutSven Verdoolaege1-1/+1
2009-08-13isl_basic_map_detect_equalities: explicitly keep track of any equalities foundSven Verdoolaege1-1/+11
2009-08-07isl_affine_hull.c: only construct affine hull in bounded directionsSven Verdoolaege1-54/+173
2009-07-16isl_tab: drop isl_ctx argument where not absolutely requiredSven Verdoolaege1-2/+2
2009-07-16isl_mat: keep track of isl_ctxSven Verdoolaege1-3/+1
2009-07-13privately export isl_basic_set_recession_coneSven Verdoolaege1-2/+6
2009-07-13isl_vec: keep track of isl_ctxSven Verdoolaege1-12/+13
2009-06-07isl_basic_map_detect_equalities: properly handle empty basic setsSven Verdoolaege1-0/+4
2009-03-20add isl_map_implicit_equalitiesSven Verdoolaege1-0/+19
2009-03-20uset_affine_hull: ignore directions in affine hull of recession coneSven Verdoolaege1-0/+64
2009-03-20isl_basic_map_implicit_equalities: perform Gaussian elimination on resultSven Verdoolaege1-0/+1
2009-03-20isl_affine_hull.c: outside_point: check for obvious candidate firstSven Verdoolaege1-1/+18
2009-03-20isl_affine_hull.c: extract uset_affine_hullSven Verdoolaege1-23/+44
2009-03-20isl_map_affine_hull: detect equalities of integer affine hull before cowingSven Verdoolaege1-27/+28
2009-03-20isl_basic_map_extend_dim: move responsibility of cow'ing to the callerSven Verdoolaege1-0/+1
2009-03-20isl_affine_hull.c: use tableau to detect implicit equalitiesSven Verdoolaege1-36/+9
2009-03-20isl_{basic_,}set_preimage: drop ctx argumentSven Verdoolaege1-1/+1
2009-03-08isl_basic_map: put inequalities before equalitiesSven Verdoolaege1-4/+2
2009-03-08rename F_ and FL_ macros to ISL_F_ and ISL_FL_ to avoid name clashesSven Verdoolaege1-12/+12
2009-02-23add isl_basic_map_detect_equalitiesSven Verdoolaege1-28/+106
2009-02-22isl_basic_map_affine_hull: fix search for integer pointsSven Verdoolaege1-5/+12