Hi Achim,

Can you please update ISL for newer versions of GCC?
http://isl.gforge.inria.fr/ says 0.15 is the latest.

Thanks.