[PPL-devel] CRUX PPC GNU/Linux now includes Parma Polyhedra Library

[Roberto Bagnara]

On 12/17/09 21:17, acrux wrote:
> hi,
>
> just to say thanks for your work and to inform that our last toolchain
> now includes PPL too.
>
> CRUX PPC is a port of CRUX for the Power Architecture® platform. It’s a
> GNU system with a Linux kernel and runs on Apple NewWorld (both 32 and
> 64bit) PowerPC, YDL Powerstation, Genesi PegasosII and EFIKA, ACube
> Sam440ep, IBM RS/6000 CHRP and pSeries servers. CRUX PPC includes
> support for laptop-specific features, extended hardware support and
> server tools.
>
>
> thanks again and best regards.

Hi Nico,

thanks for your kind message: it is much appreciated.
Please do not hesitate to get in touch with us in case
you need help or wish to suggest improvements to the PPL.
All the best,

    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