| commit | 52c7d2795c8bf04be7960808da0372cece4d6d00 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 8 Jul 2015 13:34:31 +0000 (8 15:34 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 28 Jul 2015 14:11:58 +0000 (28 16:11 +0200) | ||
| tree | 2a3921f0fe6909529586026e85e6d7b71bbccbc4 | treesnapshot (tar.gz zip) |
| parent | fd432d754b5e16a3c6d442e5c2bd2a6fbb0a7b32 | commitdiff |
isl_map_simplify.c: extract out constraint_index_is_redundant
This function will be reused for checking the redundancy of inequalities
stored in a matrix.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This function will be reused for checking the redundancy of inequalities
stored in a matrix.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory |