[PPL-devel] Cloog and PPL 0.10

[Sebastian Pop]

On Thu, Aug 21, 2008 at 12:09 PM, Roberto Bagnara <bagnara at cs.unipr.it> wrote:
> I don't know if the reason of this was the lack of a simplification
> operation in the PPL.  This has now be implemented and is available
> in the snapshot
>
>    ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ppl-0.10pre23.tar.bz2

Excellent!  Many thanks Roberto for this quick fix ;-) I'm going to
modify CLooG to call this function and see what happens to CLooG's
testsuite.

Sebastian