| commit | 611a3de0e2000a0c69f79c2602b30b182b4c1769 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 5 Jun 2014 16:19:19 +0000 (5 18:19 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 27 Sep 2014 12:57:50 +0000 (27 14:57 +0200) | ||
| tree | 0eecc3d94c6cf45099f6c788e2ed84cee7697e25 | treesnapshot (tar.gz zip) |
| parent | 1d2ad6e973b403cb9b135515cae20691a33d4c6b | commitdiff |
isl_map_plain_is_disjoint: check tuple spaces before checking parameters
This commit essentially reverts 171cbde (isl_map_is_disjoint: maps with
non-matching tuples may still intersect, Sun Oct 20 10:09:12 2013 +0200),
except that it keeps the test case.
The reverted commit was essentially a work-around for an issue
resolved in the previous commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This commit essentially reverts 171cbde (isl_map_is_disjoint: maps with
non-matching tuples may still intersect, Sun Oct 20 10:09:12 2013 +0200),
except that it keeps the test case.
The reverted commit was essentially a work-around for an issue
resolved in the previous commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory |