add GMP specific isl_val functions
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 6 Apr 2013 08:33:43 +0000 (10:33 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 28 May 2013 16:15:04 +0000 (18:15 +0200)
commitdb14462a82ae5f772cfe88ee44dd444eb48096c1
treeceda1c0bd7e566a8774665e3be27257b5af64f7d
parente49942a7422a61dc6e2fd71f26bc45207e398c42
add GMP specific isl_val functions

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Makefile.am
doc/user.pod
include/isl/val_gmp.h [new file with mode: 0644]
isl_val_gmp.c [new file with mode: 0644]