| commit | 54ac29f539a6432613b4e1d4f1cbd82dad07a7e3 | |
| author | Tobias Grosser <tobias@grosser.es> | |
| Tue, 4 Sep 2018 07:00:47 +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 | 26c7b02f82feff7a094e20239e934c2e8a8de69a | treesnapshot (tar.gz zip) |
| parent | 4f64f57ec81b11b14d893491315d9d601266c952 | commitdiff |
isl_val_le: 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 |