On July 20, 2014 1:29:30 PM CEST, Roman Gareev <gareevro...@gmail.com> wrote: >> I am not aware of any problems with isl 0.12 and would be surprised >if such >> problems exist. Are you? > >I'm not aware of them, too. > >> P.S: As Richard suggested, we may also want to forbid CLooG 0.17. > >I've attached the patch, which adds the requirement for ClooG 0.18.1. >Is it fine for trunk?
Great. Yes, I think it's fine for trunk. Tobias > >-- > Cheers, Roman Gareev. -- Sent from my Android device with K-9 Mail. Please excuse my brevity.