update isl for sufficient schedule tree support for pet

[ppn.git] / .gitmodules

[submodule "barvinok"]
        path = barvinok
        url = git://repo.or.cz/barvinok.git
[submodule "isl"]
        path = isl
        url = git://repo.or.cz/isl.git
[submodule "pet"]
        path = pet
        url = git://repo.or.cz/pet.git