Re: [PPL-devel] New, almost final PPL 0.10 snapshot and patch for CLooG