[PPL-devel] [Fwd: [Fedora Update] [moved] ppl-0.9-12.fc7]

[Roberto Bagnara]

-------- Original Message --------
Subject: [Fedora Update] [moved] ppl-0.9-12.fc7
Date: Thu, 12 Jul 2007 16:37:13 -0700
From: updates at fedoraproject.org
To: bagnara at 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 at cs.unipr.it