| commit | 385b950e8a21fcd0218e79606164aa0dda4dc74f | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 20 Jun 2015 15:30:19 +0000 (20 17:30 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 28 Jul 2015 14:11:59 +0000 (28 16:11 +0200) | ||
| tree | fd31d846f9c49831022502e14c25d8bdb1192faf | treesnapshot (tar.gz zip) |
| parent | 4a08018b4eecfed354e648beeae62e178582cbe1 | commitdiff |
isl_map_simplify.c: uset_gist_full: take constraint matrix as input
This will make it possible to pass along transformed inequalities
while at the same time passing along the original basic set,
such that the redundant constraints can be removed from the original
basic set directly.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This will make it possible to pass along transformed inequalities
while at the same time passing along the original basic set,
such that the redundant constraints can be removed from the original
basic set directly.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory |