Use isl_val instead of isl_int
commit2d8b7c6b43ee46fee978a57fa6877de49675f357
authorTaj Muhammad Khan <taj.khan@lri.fr>
Thu, 5 Dec 2013 02:25:16 +0000 (5 07:55 +0530)
committerCedric Bastoul <cedric.bastoul@unistra.fr>
Wed, 15 Jan 2014 20:58:40 +0000 (15 21:58 +0100)
tree130202ba06d2586138ebff7f13583e4abee63ac2
parentd02b7193c157b61ddeabae55718793c078d73961
Use isl_val instead of isl_int

isl is moving from the macro-based isl_int to a more generic
integer type isl_val, so CLooG does with this patch.
Authors are Uday Bondhugula, Taj Muhammad Khan and Cedric Bastoul.
include/cloog/isl/constraintset.h
source/isl/constraints.c
source/isl/domain.c