add isl_val_gt_si
commit63aa569ecf8e636c2a8f03fde0f8bfc5b0fedf84
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 16 Apr 2018 13:24:45 +0000 (16 15:24 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 18 Apr 2018 08:20:18 +0000 (18 10:20 +0200)
treefbe28e2a9ccb2e54e725f3333bd55d6e882296f9
parentf64f306849ef56772eb812fda41f2d4fe661d1a6
add isl_val_gt_si

This function will be used in the next commit.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
doc/user.pod
include/isl/val.h
isl_val.c