-------- Original Message -------- Subject: [Fedora Update] [moved] ppl-0.9-12.fc7 Date: Thu, 12 Jul 2007 16:37:13 -0700 From: updates@fedoraproject.org To: bagnara@bastion.fedora.phx.redhat.com The following update has been moved from Testing to Stable: ================================================================================ ppl-0.9-12.fc7 ================================================================================ Update ID: FEDORA-2007-0873 Release: Fedora 7 Status: stable Type: enhancement Request: move Bugs: 227669 - Review Request: ppl - A modern C++ library providing numerical abstractions Notes: The Parma Polyhedra Library (PPL) is a library for the manipulation : of (not necessarily closed) convex polyhedra and : other numerical abstractions. The applications of : convex polyhedra include program analysis, optimized : compilation, integer and combinatorial optimization : and statistical data-editing. The Parma Polyhedra : Library comes with several user friendly interfaces, : is fully dynamic (available virtual memory is the : only limitation to the dimension of anything), : written in accordance to all the applicable standards, : exception-safe, rather efficient, thoroughly : documented, and free software. Submitter: bagnara Submitted: 2007-07-05 08:16:24 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it