Path: csiph.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end From: Roberto Bagnara Newsgroups: comp.compilers Subject: Parma Polyhedra Library 1.2 Date: Thu, 11 Feb 2016 10:00:25 -0800 (PST) Organization: Compilers Central Lines: 17 Sender: news@iecc.com Approved: comp.compilers@iecc.com Message-ID: <16-02-001@comp.compilers> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Injection-Info: miucha.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="64977"; mail-complaints-to="abuse@iecc.com" Keywords: available, optimize Posted-Date: 11 Feb 2016 21:09:15 EST X-submission-address: compilers@iecc.com X-moderator-address: compilers-request@iecc.com X-FAQ-and-archives: http://compilers.iecc.com X-Received-Bytes: 1580 X-Received-Body-CRC: 3220863308 Xref: csiph.com comp.compilers:1664 We are very pleased to announce the availability of PPL 1.2, 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.2, includes a major efficiency improvement to the conversion procedure for polyhedra, a few bugfixes and numerous portability improvements. For more information, please come and visit the PPL web site at http://bugseng.com/products/ppl The PPL core development team: Roberto Bagnara Patricia M. Hill Enea Zaffanella Abramo Bagnara