update isl to version 0.20
commita8a9b36dcd143a72d44a845bb5f34c1b0fa440da
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 17 Jul 2018 13:05:25 +0000 (17 15:05 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 30 Jul 2018 20:56:16 +0000 (30 22:56 +0200)
tree0f66b44ebb1cd136d764331c504bee4eee752b80
parentf309fa507f51b1118c91f042ad5611e73bbe22bb
update isl to version 0.20

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl