| commit | 8db901ab4d1eed67d6cee7c4e472af589a39ab25 | |
| author | Tobias Grosser <tobias@grosser.es> | |
| Tue, 4 Sep 2018 07:00:37 +0000 (4 09:00 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Tue, 4 Sep 2018 09:52:32 +0000 (4 11:52 +0200) | ||
| tree | 297f863c6d89f91fb3fe7d0b4d1a3b1700f05019 | treesnapshot (tar.gz zip) |
| parent | 26ccf31079a70980119a5d37081f0d33e96fc6d2 | commitdiff |
isl_val_is_neginfty: 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_val.c | diffblobblamehistory |