| commit | 16cc937167bd18d16b364842b834c08028787bfd | |
| author | Tobias Grosser <tobias@grosser.es> | |
| Sat, 22 Sep 2018 06:34:31 +0000 (22 08:34 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 7 Oct 2018 16:47:56 +0000 (7 18:47 +0200) | ||
| tree | 9cc485d27dfafc4127b8a53a438eabd631f4aa36 | treesnapshot (tar.gz zip) |
| parent | 90f6888b5ce464053db15aa0fe00a93ac2f7ca69 | commitdiff |
isl_local_space_is_div_equality: use isl_bool_ok
Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_local_space.c | diffblobblamehistory |