isl/PPL interface
tree3a8ad9efff5461e07e8dbd163c361d768d23561e
-rw-r--r-- 62 .gitmodules
-rw-r--r-- 35147 LICENSE
-rw-r--r-- 704 Makefile.am
-rwxr-xr-x 131 autogen.sh
-rw-r--r-- 1774 configure.ac
drwxr-xr-x - include
m--------- - isl
-rw-r--r-- 7333 isl_map_ppl.c
drwxr-xr-x - m4