Copy Paste comment from previous PR: implementing dependencies distance feature required some methods unavailable in isl 0.19. Thus the need to upgrade to isl 0.23.
This is why some changes where made to isl. Going forward, 0.23 is the minimum required version after this feature gets merged.
I explicitly mention that in the doc.
I also ran all test to be sure, I found that only 3 tests 156 157 158 failed. without any details on what the purpose of these tests were in test's readme.md
Copy Paste comment from previous PR: implementing dependencies distance feature required some methods unavailable in isl 0.19. Thus the need to upgrade to isl 0.23. This is why some changes where made to isl. Going forward, 0.23 is the minimum required version after this feature gets merged. I explicitly mention that in the doc. I also ran all test to be sure, I found that only 3 tests 156 157 158 failed. without any details on what the purpose of these tests were in test's readme.md