projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c41196) | patch
isl_map_compute_divs: make sure result is gaussed and finalized
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 21 Apr 2010 15:42:24 +0000 (17:42 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 21 Apr 2010 15:45:06 +0000 (17:45 +0200)
commit565134e0e114f9a1f84492e8848265f7364c3746
tree3b343f57f39fcdb2ca72be232007ee64affa2c34tree | snapshot
parent5c411966ade2c8cb10194507d81da0e7701020fdcommit | diff
isl_map_compute_divs: make sure result is gaussed and finalized

In particular, when the variables in the input can be compressed,
basic_set_append_equalities should gauss and finalize the result
of adding the equalities back in.
isl_map.c diff | blob | history
Domain: System / Uncategorized;