[PPL-devel] simplify_using_context() vs. cloog_domain_simplify()
Roberto Bagnara
bagnara at cs.unipr.it
Wed Sep 24 20:28:32 CEST 2008
Enea Zaffanella wrote:
> Sebastian Pop wrote:
>> Hi,
> [...]
>> You are right, this is an implementation error in the cloog-ppl
>> backend.
> [...]
>> Yes, the result computed by the PPL is correct.
>>
>> Sebastian
>
> Sebastian,
>
> if you are interested, I have ready (see attached file) a replacement of
> function cloog_simplify_domain that uses the PPL implementation:
> it translates the two cloog input domains into PPL powersets, do the
> job, and translates back the result into a cloog domain.
>
> Note that in order to use this function you will have to wait for the
> next PPL snapshot (the last snapshot does not include a few fixes
> regarding the C interface for powersets).
Hi there,
the new snapshot is online:
ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ppl-0.10pre30.tar.bz2
Please, let us know how it goes.
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
More information about the PPL-devel
mailing list