update isl for rename of isl_dim to isl_space
tree8f5af7d2603cb497da95ca46df314ba0b8e3a1b8
-rw-r--r-- 136 .gitmodules
-rw-r--r-- 15008 LICENSE
-rw-r--r-- 1002 Makefile.am
-rwxr-xr-x 165 autogen.sh
-rw-r--r-- 3020 configure.ac
drwxr-xr-x - include
m--------- - isl
-rw-r--r-- 6285 isl_map_polylib.c
drwxr-xr-x - m4
m--------- - polylib