| commit | 2d3f03993503be8965edcfda27a506272548ba57 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Fri, 11 May 2018 20:12:34 +0000 (11 22:12 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Fri, 11 May 2018 20:24:13 +0000 (11 22:24 +0200) | ||
| tree | 81c34bfdf028a05cf6621a04319ecb4bb84135e7 | treesnapshot (tar.gz zip) |
| parent | 42398637d6c6806885a381f3dc763572af12f93a | commitdiff |
isl_local_space_is_div_constraint: extract out is_linear_div_constraint
This function will be reused in the next commit.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
This function will be reused in the next commit.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_local_space.c | diffblobblamehistory |