| commit | 284cf1f8dde7360a8e1ba613541848ca447d2f94 | |
| author | Tobias Grosser <tobias@grosser.es> | |
| Thu, 20 Sep 2018 10:51:14 +0000 (20 12:51 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Thu, 20 Sep 2018 13:42:31 +0000 (20 15:42 +0200) | ||
| tree | e09fab1e092f1f1e9229224522cbff7bddb7544f | treesnapshot (tar.gz zip) |
| parent | 249c7c6b2cef827d7323e75cfa5ee8cc9e06cda7 | commitdiff |
isl_constraint_is_lower_bound: 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_constraint.c | diffblobblamehistory |