From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 3120 invoked by alias); 16 Apr 2012 20:14:39 -0000 Received: (qmail 3107 invoked by uid 22791); 16 Apr 2012 20:14:37 -0000 X-SWARE-Spam-Status: No, hits=-0.4 required=5.0 tests=AWL,BAYES_40,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, 16 Apr 2012 20:14:24 +0000 Received: from [192.168.1.2] (host98-202-dynamic.16-87-r.retail.telecomitalia.it [87.16.202.98]) by spartacus.cs.unipr.it (Postfix) with ESMTPSA id 0A92860C5B4; Mon, 16 Apr 2012 22:14:21 +0200 (CEST) Message-ID: <4F8C7D91.5050504@cs.unipr.it> Date: Mon, 16 Apr 2012 20:14: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.1 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-04/txt/msg00669.txt.bz2 The core development team is pleased to announce the availability of PPL 0.12.1, a new release of the Parma Polyhedra Library. This release includes portability improvements, a couple of new minor features, some interface changes and an important bug fix concerning the PIP solver. The precise list of user-visible changes is available at http://bugseng.com/products/ppl/download/ftp/releases/0.12.1/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