From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 8810 invoked by alias); 27 Feb 2012 21:07:12 -0000 Received: (qmail 8801 invoked by uid 22791); 27 Feb 2012 21:07:11 -0000 X-SWARE-Spam-Status: No, hits=0.9 required=5.0 tests=BAYES_50,TW_SR,T_RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from spartacus.cs.unipr.it (HELO spartacus.cs.unipr.it) (160.78.167.140) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 27 Feb 2012 21:06:54 +0000 Received: from [192.168.1.102] (host141-204-dynamic.11-87-r.retail.telecomitalia.it [87.11.204.141]) by spartacus.cs.unipr.it (Postfix) with ESMTPSA id 56FC8612DA5; Mon, 27 Feb 2012 22:06:52 +0100 (CET) Message-ID: <4F4BF063.10801@cs.unipr.it> Date: Mon, 27 Feb 2012 21:33:00 -0000 From: Roberto Bagnara User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20050929 Thunderbird/1.0.7 Fedora/1.0.7-1.1.fc4 Mnenhy/0.7.3.0 MIME-Version: 1.0 To: gcc-graphite , GCC Mailing List Subject: Parma Polyhedra Library 0.12 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2012-02/txt/msg00444.txt.bz2 The core development team is very pleased to announce the availability of PPL 0.12, a new release of the Parma Polyhedra Library. This release includes portability improvements, a few bug fixes, and performance improvements for the MIP and PIP solvers. and PIP solvers. Configurability has also been improved, especially as far as the detection of GMP is concerned. ECLAIR (http://bugseng.com/products/eclair) has been introduced into the development workflow to bring the PPL into conformance with the applicable rules in MISRA, CERT, NASA/JPL, ESA/BSSC and other widely-used coding standards. The precise list of user-visible changes is available at http://bugseng.com/products/ppl/download/ftp/releases/0.12/NEWS . For more information, please come and visit the new PPL web site at http://bugseng.com/products/ppl On behalf of all the past and present developers listed at http://bugseng.com/products/ppl/credits and in the file CREDITS, Roberto Bagnara Patricia M. Hill Enea Zaffanella Abramo Bagnara BUGSENG srl (http://bugseng.com) -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com