summaryrefslogtreecommitdiff
path: root/isl_transitive_closure.c
AgeCommit message (Expand)AuthorFilesLines
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-1/+1
2011-01-26rename "omega" transitive closure to "box" transitive closureSven Verdoolaege1-1/+1
2011-01-21isl_transitive_closure.c: more anonymize input map during incremental computa...Sven Verdoolaege1-0/+1
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-4/+4
2010-11-05hide some functions that were exposed by mistakeSven Verdoolaege1-2/+3
2010-10-06rename isl_map_add to isl_map_add_dimsSven Verdoolaege1-9/+9
2010-09-04add public API for matricesSven Verdoolaege1-0/+1
2010-08-05support nested isl_dimsSven Verdoolaege1-2/+2
2010-08-02isl_transitive_closure.c: anonymize input map during incremental computationSven Verdoolaege1-0/+9
2010-08-02isl_transitive_closure.c: keep track of domains for Floyd-WarshallSven Verdoolaege1-2/+6
2010-07-31add support for union sets and relationsSven Verdoolaege1-0/+312
2010-07-31isl_transitive_closure.c: extract out some reusable codeSven Verdoolaege1-75/+127
2010-07-31isl_dim: allow specification of tuple namesSven Verdoolaege1-0/+9
2010-07-30isl_transitive_closure.c: fix double free on error pathSven Verdoolaege1-1/+1
2010-07-24add isl_map_reaching_path_lengthsSven Verdoolaege1-0/+48
2010-07-24isl_map_power: delay equating path lengths to power parameterSven Verdoolaege1-27/+40
2010-07-24isl_map_power: apply Floyd-Warshall to compute powers as wellSven Verdoolaege1-6/+60
2010-07-23isl_transitive_closure.c: fix typo in commentSven Verdoolaege1-1/+1
2010-06-21isl_map_transitive_closure: check whether decomposition gives closed resultSven Verdoolaege1-15/+49
2010-05-30fix some icc warningsSven Verdoolaege1-4/+0
2010-05-04isl_map_transitive_closure: coalesce input before checking closedness of inputSven Verdoolaege1-2/+4
2010-04-28isl_map_transitive_closure: check if input is closed alreadySven Verdoolaege1-0/+22
2010-04-23isl_map_transitive_closure: treat equality as pair of ineq for mixed constraintsSven Verdoolaege1-33/+59
2010-04-23isl_map_transitive_closure, omega-like: only use ?-closure if result is exactSven Verdoolaege1-33/+40
2010-04-23isl_map_transitive_closure: use simple hull in omega-like implementationSven Verdoolaege1-21/+67
2010-04-23isl_map_transitive_closure: try and compute closure incrementallySven Verdoolaege1-2/+486
2010-04-21isl_transitive_closure.c: path_along_delta: only avoid splitting off identitySven Verdoolaege1-1/+1
2010-04-21isl_map_transitive_closure: compute divs of inputSven Verdoolaege1-0/+1
2010-04-16isl_transitive_closure.c: fix documentation of construct_componentSven Verdoolaege1-2/+3
2010-04-15isl_map_transitive_closure: Floyd-Warshall: properly keep track of current groupSven Verdoolaege1-0/+1
2010-04-15isl_map_transitive_closure: use Floyd-Warshall on disjoint domains and rangesSven Verdoolaege1-2/+224
2010-04-15isl_transitive_closure.c: extract out isl_set_overlapsSven Verdoolaege1-5/+13
2010-04-15isl_map_transitive_closure: project out length on each component separatelySven Verdoolaege1-9/+44
2010-04-15isl_transitive_closure.c: construct_component: don't include identity in resultSven Verdoolaege1-23/+20
2010-04-15isl_map_transitive_closure: don't add length parameterSven Verdoolaege1-8/+23
2010-04-13isl_map_transitive_closure: coalesce input mapSven Verdoolaege1-1/+1
2010-04-13isl_transitive_closure.c: construct_component: always include identitySven Verdoolaege1-1/+1
2010-04-10isl_map_closure: optionally use Omega-like algorithmSven Verdoolaege1-0/+409
2010-04-07isl_map_transitive_closure: handle existentialsSven Verdoolaege1-10/+92
2010-04-07isl_transitive_closure.c: path_along_delta: share code for handling {in,}equa...Sven Verdoolaege1-40/+43
2010-04-07isl_transitive_closure.c: path_along_delta: try and avoid splitting off identitySven Verdoolaege1-1/+48
2010-04-01isl_map_transitive_closure: break early if input map doesn't compose with itselfSven Verdoolaege1-0/+15
2010-04-01isl_map_transitive_closure: coalesce after each stepSven Verdoolaege1-0/+1
2010-03-14document transitive closure implementationSven Verdoolaege1-20/+12
2010-02-18isl_map_transitive_closure: improve accuracy by copying some mixed delta cons...Sven Verdoolaege1-8/+45
2010-02-18isl_map_transitive_closure: perform exactness check per componentSven Verdoolaege1-15/+17
2010-02-18isl_map_transitive_closure: reformulate exactness test in terms of extended p...Sven Verdoolaege1-148/+162
2010-02-18isl_map_transitive_closure: compute power on strongly connected componentsSven Verdoolaege1-6/+270
2010-02-17isl_map_transitive_closure: intersect with domain and range before projectionSven Verdoolaege1-25/+48
2010-02-17isl_map_transitive_closure: extract out construction of extended pathSven Verdoolaege1-32/+64
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-19 14:17:01 +0000