All releases of The Parma Polyhedra Library

  •  29 Oct 2013 13:32
Avatar

    Release Notes: This release includes support for "positive time elapse," a new operator on polyhedra, improvements to the Java interface, several portability improvements, and a few bug fixes.

    •  28 Jun 2012 21:06
    Avatar

      Release Notes: This release includes support for the optimized representation of sparse vectors of coefficients, achieving significant performance improvements (e.g., when dealing with constraint systems describing weakly relational abstractions such as boxes and octagonal shapes). A generic interface allows seamless interaction between the dense and sparse row representations. Users can easily customize the default representation for library entities, to tailor the library to their special needs. The release also includes a couple of bugfixes.

      •  16 Apr 2012 20:20
      Avatar

        Release Notes: This release includes portability improvements, a couple of new minor features, some interface changes, and an important bugfix concerning the PIP solver.

        •  27 Feb 2012 21:34
        Avatar

          Release Notes: This release includes portability improvements, a few bugfixes, and performance improvements for the MIP and PIP solvers. Configurability has also been improved, especially as far as the detection of GMP is concerned. ECLAIR has been introduced into the development workflow to bring PPL into conformance with the applicable rules in MISRA, CERT, NASA/JPL, ESA/BSSC, and other widely-used coding standards.

          •  27 Feb 2011 16:11
          Avatar

            Release Notes: This release fixes a few minor bugs in PPL 0.11.1.

            •  27 Feb 2011 16:07
            Avatar

              Release Notes: This release includes several important bugfixes and performance improvements.

              •  27 Feb 2011 16:04
              Avatar

                Release Notes: New features in this release include support for Parametric Integer Programming problems, "deterministic" timeout computation facilities, support for termination analysis via the automatic synthesis of linear ranking functions, and support for approximating computations involving (bounded) machine integers. This release includes several other enhancements, speed improvements, and some bugfixes.

                •  18 Apr 2009 12:21
                Avatar

                  Release Notes: This release fixes a few bugs affecting PPL 0.10.1.

                  •  14 Apr 2009 13:42
                  Avatar

                    Release Notes: This release includes several important improvements to PPL 0.10, among which is better portability (including the support for cross-compilation), increased robustness, better packaging, and several bugfixes.

                    •  04 Nov 2008 18:25
                    Avatar

                      Release Notes: This release (which is under the terms of the GPLv3+) includes complete support for "octagonal shapes" (solution of a finite system of constraints such as 'x + y <= 3' and 'x - y <= 5') and "boxes", which may be viewed as the product of not necessarily closed and possibly unbounded intervals. This release comes with fully documented interfaces to C++, C, Java, OCaml, Ciao Prolog, GNU Prolog, SICStus, SWI-Prolog, XSB, and YAP (Java and OCaml are new). It also includes improvements to the documentation, many new configuration options, and a few bugfixes.

                      Screenshot

                      Project Spotlight

                      episoder

                      A tool to tell you about new episodes of your favourite TV shows.

                      Screenshot

                      Project Spotlight

                      BalanceNG

                      A modern software IP load balancer.