Update ISL to 0.12
Merge pull request #215 from Alexpux/develop

Update ISL to 0.12