update isl to version 0.20
commite61f7e5124c219bdf14a7c42f728aab8b4d4e9c3
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 17 Jul 2018 09:23:09 +0000 (17 11:23 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 30 Jul 2018 20:54:58 +0000 (30 22:54 +0200)
tree1ba92af53e0aa03c921c8414ac6bfaa78a796a31
parent86c1b652464c9e1a3cb282300d18c38b9b4990b8
update isl to version 0.20

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