integrate isl-polylib module
commit1d67a277c43e0309f86f6af1cab57fbc9a39f053
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 29 May 2013 09:43:49 +0000 (29 11:43 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 29 May 2013 09:43:49 +0000 (29 11:43 +0200)
tree0385ee47dabd83cdba79bccae7a5cb6b0b2a24ee
parent81ebf78e4b1fd80ff1886c2d0a67eb06081e0b6b
integrate isl-polylib module

The isl-polylib module was not being maintained as a proper separate project
and is only used inside barvinok, so it is better to integrate it.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
.gitmodules
Makefile.am
autogen.sh
configure.ac
isl-polylib [deleted submodule]
isl_map_polylib.c [new file with mode: 0644]
isl_map_polylib.h [new file with mode: 0644]
isl_polylib.h [new file with mode: 0644]
isl_set_polylib.h [new file with mode: 0644]