update isl to version 0.20
commit656bd8ff30cb76324bdc30d0d0795306a6863846
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 17 Jul 2018 09:08:44 +0000 (17 11:08 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 28 Jul 2018 21:01:07 +0000 (28 23:01 +0200)
tree10507d8a0c2e5642cd2f5f096cc16336c24f93c1
parent4d6533f234a0ef323afd9a14a143ce66820d4f58
update isl to version 0.20

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