| commit | d20327e32a2be929523d101a35e1af90f9cedb3f | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 18 Feb 2011 14:37:37 +0000 (18 15:37 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 21 Feb 2011 10:51:22 +0000 (21 11:51 +0100) | ||
| tree | 11f991ec8dab429aa96399d096b6c7ffb9467e26 | treesnapshot (tar.gz zip) |
| parent | 91c6aa5e30ab344c3f3b6d07af44e17a88d2b1b6 | commitdiff |
isl_basic_map_gist: prefer contraints without existentially quantified variables
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map.c | diffblobblamehistory | |
| isl_map_simplify.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |