Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!feed.news.qwest.net!mpls-nntp-03.inet.qwest.net!216.196.98.143.MISMATCH!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!news.iecc.com!.POSTED!nerds-end From: Roberto Bagnara Newsgroups: comp.compilers Subject: Parma Polyhedra Library 1.1 Date: Tue, 29 Oct 2013 06:18:14 -0700 (PDT) Organization: Compilers Central Lines: 20 Sender: johnl@iecc.com Approved: comp.compilers@iecc.com Message-ID: <13-10-040@comp.compilers> NNTP-Posting-Host: news.iecc.com Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: leila.iecc.com 1383159382 14954 64.57.183.58 (30 Oct 2013 18:56:22 GMT) X-Complaints-To: abuse@iecc.com NNTP-Posting-Date: Wed, 30 Oct 2013 18:56:22 +0000 (UTC) Keywords: tools, available Posted-Date: 30 Oct 2013 14:56:21 EDT X-submission-address: compilers@iecc.com X-moderator-address: compilers-request@iecc.com X-FAQ-and-archives: http://compilers.iecc.com Xref: csiph.com comp.compilers:1023 We are very pleased to announce the availability of PPL 1.1, the latest release of the Parma Polyhedra Library, a modern library for the manipulation of convex polyhedra and other numerical abstractions especially targeted at static analysis and verification of complex software and hardware systems. The new release, PPL 1.1, includes support for "positive time elapse," a new operator on polyhedra, improvements to the Java interface, several portability improvements and a few bug fixes. For more information, please come and visit the new PPL web site at http://bugseng.com/products/ppl The PPL core development team: Roberto Bagnara Patricia M. Hill Enea Zaffanella Abramo Bagnara BUGSENG srl (http://bugseng.com)