create private copy of isl/int.h
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 8 May 2013 09:50:27 +0000 (11:50 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 25 May 2013 17:39:06 +0000 (19:39 +0200)
commitf9ee5c552249f946596ee1bc18d76769c0656d00
tree362078d45464232eaaba90f616dd356db5de1bcd
parent4d9ca4edfc641f6535952d6167f3d406c777a9e1
create private copy of isl/int.h

We will shortly be introducing a new isl_val abstraction
that is meant to replace isl_int as well as some abuses of isl_qpolynomial.
To implement this new abstraction, we will need some additional
isl_int_* functions.  However, we do not want to publicly expose
these isl_int_* functions since we do not want to encourage their
use by external users.
We therefore create a private copy of isl/int.h where we can
add the additional functions.  Once the transition is complete,
the public version can be removed.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Makefile.am
isl_gmp.c
isl_int.h [new file with mode: 0644]
isl_piplib.h