This is the mail archive of the cygwin-announce mailing list for the Cygwin project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[1.7] pl-0.10.2-1 - the Parma Polyhedra Library

Version ppl-0.10.2-1 of the Parma Polyhedra Library (PPL) has been released.


License : GNU GPL 3 or later

The Parma Polyhedra Library (PPL) provides numerical abstractions specially targeted at applications in the field of analysis and verification of complex systems. These abstractions include convex polyhedra, defined as the intersection of a finite number of (open or closed) halfspaces, each described by a linear inequality (strict or on-strict) with rational coefficients; some special classes of polyhedra shapes that offer interesting complexity/precision tradeoffs; and grids which represent regularly spaced points that satisfy a set of linear congruence relations.

This package is needed to build GCC 4.4 with the Graphite loop optimizations - The package includes > 4 MB of documentation, which is packaged separately

The cygwin PPL release comprises four packages
  libppl - the run time libraries
  ppl-devel - the headers and link libraries
  ppl - man pages, licenses, etc
  ppl-doc - 4 MB of documentation


Standard install built with gcc-4.3.2 and g++-4.3.2. For correct functionality, users may need to link applications with LDFLAGS=-Wl,--enable-auto-import. The majority of the PPL tests fail when built without this option.

PPL was built with the C++ and C interfaces. Other interfaces may be provided, if requested, in future Cygwin releases.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]