
11 May
2010
11 May
'10
9:17 a.m.
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@cs.unipr.it