[PPL-devel] Merge from Graphite to trunk

[Roberto Bagnara]

On 05/07/10 00:01, Sebastian Pop wrote:
> 0003 allows GCC to use later versions of PPL, not only PPL-0.10.
> PPL-0.11 will be released sometimes in May, but it is not yet
> required to build GCC as we do not use its extra functionality (i.e.,
> the PIP "parametric integer programming" solver).  Another
> patch will require PPL-0.11 or later when the data dependence
> analysis will use PIP.

Hi there.

Marco Poletti, in CC, is working on several alternative implementations
of sparse matrices to be used in the PPL, particularly in the PIP
solver.  So this is the right time to provide us with examples,
preferably tough ones, to experiment with.
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it