summaryrefslogtreecommitdiff
path: root/isl_transitive_closure.c
AgeCommit message (Expand)AuthorFilesLines
2012-09-15isl_transitive_closure.c: union_components: avoid invalid access on error pathSven Verdoolaege1-1/+1
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
2012-08-02extract common implementation of Tarjan's algorithmSven Verdoolaege1-179/+45
2012-03-07add isl_map_fixed_power and isl_union_map_fixed_powerSven Verdoolaege1-0/+8
2011-11-13hide isl_options structureSven Verdoolaege1-0/+1
2011-09-03rename isl_dim to isl_spaceSven Verdoolaege1-123/+123
2011-06-07Check the ctx argument of the memory macrosTobias Grosser1-1/+1
2011-05-25isl_transitive_closure.c: avoid use of an unitialized variable on an error pathSven Verdoolaege1-1/+1
2011-05-25isl_transitive_closure.c: remove unused variableSven Verdoolaege1-1/+0
2011-05-05rename *_fast_* functions to *_plain_*Sven Verdoolaege1-3/+3
2011-03-16hide isl_ctx internalsSven Verdoolaege1-0/+1
2011-03-12add isl_union_map_powerSven Verdoolaege1-0/+84
2011-03-12change isl_map_power interfaceSven Verdoolaege1-13/+20
2011-02-25isl_map_identity: take dimension specification of map as inputSven Verdoolaege1-5/+4
2011-02-25transitive closure: project out parameters when any constraints are impureSven Verdoolaege1-4/+45
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-19 04:03:10 +0000