Your message dated Mon, 06 May 2013 15:07:36 +0000 with message-id <[email protected]> and subject line Bug#680897: fixed in ppl 1:1.0-5 has caused the Debian Bug report #680897, regarding ppl: New upstream release available to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 680897: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=680897 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: ppl Version: 0.11.2-6 Dear maintainers, there is a new upstream release. Please consider upgrading your package. News since current 0.11.2: -------------------------------------------------------------------------- NEWS for version 1.0 (released on June 28, 2012) -------------------------------------------------------------------------- New and Changed Features ======================== o Significant improvements have been obtained in both time and space resource usage by the definition of data structures and algorithms for the case of "sparse rows", i.e., sequences of coefficients where most of the values are zero. o The library fully supports two different representations for rows: the "dense" representation is an array-like representation tailored to sequences having most of their coefficients different from zero; the "sparse" representation saves memory space (as well as CPU cycles) when most of the coefficients in the sequence are zero. o A generic interface allows for a seamless interaction between the dense and the sparse row representation. Most library entities (linear expressions, constraints, generators, congruences, and their systems) can be built using either representation, specified as a constructor's argument. o As a by-product of this sparse/dense refactoring work, efficiency improvements have been obtained even for those computations that are still based on the dense row representation. o Reasonable default values for the row representation are provided for each library entity, automatically leading to significant memory space savings even in old client/library code, e.g., when dealing with constraint systems describing weakly relational abstractions such as boxes and octagonal shapes. o If desired, these default values can be customized to user's needs by changing just a few lines of library code. For instance, the constraint systems stored inside C_Polyhedron and NNC_Polyhedron objects can be made to use the sparse representation by just changing the following line in Polyhedron.defs.hh: static const Representation default_con_sys_repr = DENSE; to become static const Representation default_con_sys_repr = SPARSE; Bugfixes ======== o Fixed a bug affecting methods bool BD_Shape<T>::contains(const BD_Shape& y) const; bool Octagonal_Shape<T>::contains(const Octagonal_Shape& y) const; whereby the wrong result was obtained when *this is an empty weakly-relational shape and y is not empty. o Fixed a bug affecting the PIP solver whereby a wrong result could have been obtained if the input constraint system contained multiple linear equality constraints. -------------------------------------------------------------------------- NEWS for version 0.12.1 (released on April 16, 2012) -------------------------------------------------------------------------- New and Changed Features ======================== o In the C, Java, OCaml and Prolog interfaces, modified the signature of the function/method/predicate for setting the deterministic timeout threshold. The new interfaces take two input values, named `unscaled' and `scale', that are used to compute the threshold value as `unscaled * 2^scale'. o Added new Box<ITV> methods bool has_upper_bound(Variable var, Coefficient& n, Coefficient& d, bool& closed) const; bool has_lower_bound(Variable var, Coefficient& n, Coefficient& d, bool& closed) const; to query a non-empty box for the existence and value of its upper/lower bound on variable `var'. The methods have been also added to all the available language interfaces. o Two BibTeX databases of papers related to the Parma Polyhedra Library have been added to the distribution (in the `doc' directory). Bugfixes ======== o Restored the support for deterministic timeouts in the PIP solver (it was removed by accident in PPL 0.12). o Minor documentation fixes. o Portability improved. -------------------------------------------------------------------------- NEWS for version 0.12 (released on February 27, 2012) -------------------------------------------------------------------------- New and Changed Features ======================== o New configure options `--with-gmp=DIR', `--with-gmp-include=DIR' and `--with-gmp-lib=DIR' supersede the (now removed) option `--with-gmp-prefix'. (The old option never really worked; hopefully this is the last change in this area.) o New configuration option `--disable-documentation'. When specified no new documentation is built: only the documentation already present in the source tree is installed upon `make install'. o The resolution process for PIP_Problem now better exploits the integrality of parameters to simplify the newly generated tautological constraints, the splitting constraints of decision nodes, and the expressions defining artificial parameters. o The implementations of the MIP and PIP solvers are based on a new data structure leading to significant space and time savings when the tableau matrix is sparse; the benchmarks of the ppl_lpsol demo show an improvement on the average case, that grows when the toughest tests in the benchmark suite are considered. o When the `--check' option is used, the input data for demo ppl_lpsol is perturbed the same way as GLPK does, thereby allowing for a meaningful comparison of the results obtained. o The input routine for PPL numeric datatypes has been extended to accept the ISO9899 (C99) hexadecimal floating constant syntax. o The Parma Watchdog Library has been merged into the Parma Polyhedra Library. Bugfixes ======== o Corrected a precision bug in methods Box<ITV>::upper_bound_assign(const Box&) Box<ITV>::upper_bound_assign_if_exact(const Box&) whereby, provided any argument is an empty box and under other rather specific conditions, the computed result was correct but unnecessarily imprecise. o Corrected a bug in method Grid::relation_with(const Constraint&) const whereby, under specific conditions, the method was creating invalid Grid_Generator objects and providing an incorrect result. -- Pozdrawiam / Kind regards, Artur Rona
--- End Message ---
--- Begin Message ---Source: ppl Source-Version: 1:1.0-5 We believe that the bug you reported is fixed in the latest version of ppl, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Matthias Klose <[email protected]> (supplier of updated ppl package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 06 May 2013 15:44:07 +0200 Source: ppl Binary: libppl12 libppl0.12-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source amd64 all Version: 1:1.0-5 Distribution: unstable Urgency: low Maintainer: Debian GCC Maintainers <[email protected]> Changed-By: Matthias Klose <[email protected]> Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.12-dev - Parma Polyhedra Library (development) libppl12 - Parma Polyhedra Library (runtime library) ppl-dev - Parma Polyhedra Library (development binaries) Closes: 680897 Changes: ppl (1:1.0-5) unstable; urgency=low . * Upload to unstable. . ppl (1:1.0-4) experimental; urgency=low . * Ignore test failures on s390x. No feedback from the Debian porters. . ppl (1:1.0-3) experimental; urgency=low . * Bump the epoch (and the release number, because the archive software can't handle 1:1.0-2 after an 1.0-2 upload), upload to experimental this time. . ppl (1.0-2) unstable; urgency=low . * Fix build failure in testsuite on sparc, s390, s390x. * Don't try to build the prolog bindings on arm64 and hurd-i386. . ppl (1.0-1) experimental; urgency=low . * New upstream version. Closes: #680897. Checksums-Sha1: 6745684c641a08dcb89a2953f1b6d1c7c1cb05a1 1585 ppl_1.0-5.dsc 592c9ebbe8008f8eb7ed30e5871421262fa344e7 12288 ppl_1.0-5.debian.tar.gz e8f622b483158c9df0792e042bdf2f87a1dafe2e 730924 libppl12_1.0-5_amd64.deb bfb2ed2bc0ddf402a4740d97aa15fe6262120891 3972970 libppl0.12-dev_1.0-5_amd64.deb 10229c13e0e63ff0997edcfef7714cb9e14c980f 187938 ppl-dev_1.0-5_amd64.deb 15fcc1e4abd5fd84363c667e33ad32b28ea159b0 1523236 libppl-c4_1.0-5_amd64.deb 7488c31b20a3c0252764f65fa4e88160dccf339b 5802130 libppl-swi_1.0-5_amd64.deb 793169698183b8d315fa711d2f9e9c41f8b3dcc1 7397536 libppl-doc_1.0-5_all.deb Checksums-Sha256: d9eecf469a3cc4e7b3f026103e5ab7c0e3400bf477c92d71a332fc88e9f7cf8b 1585 ppl_1.0-5.dsc 3c3861d75682c1ab71165f84c6646f20380944d075d59ce6f9fd8d83629157ef 12288 ppl_1.0-5.debian.tar.gz 3204044b4adcfe14978cceb8df201752cd17b3c885f75fbb5b489b59da3f60c8 730924 libppl12_1.0-5_amd64.deb 35a1ecbbb7e1665f62d88694a8acb397ae9edcbd8e262550e7846ee4945432ff 3972970 libppl0.12-dev_1.0-5_amd64.deb 97c0f8e1dc5a8d0f3dd35308d4d1d79bc40bb3e256d2da31e9d169361d1cdeb2 187938 ppl-dev_1.0-5_amd64.deb 075a933eb37aff64ffd03290329e8d77974f35ba3df8a44d3adf47b145d27b84 1523236 libppl-c4_1.0-5_amd64.deb 6a8f457dc8382d9d88db9a72b1f0cac29176041f7acfab269eedfde119ac4d42 5802130 libppl-swi_1.0-5_amd64.deb 154bc4d320154d89051f831c7e46c41cdffafda6050da5dc1cac140d5bf36b8c 7397536 libppl-doc_1.0-5_all.deb Files: 951537a67ffd0bcc742b49823ca9b93a 1585 libs optional ppl_1.0-5.dsc ff52431881db081213c5f53f6aa066b1 12288 libs optional ppl_1.0-5.debian.tar.gz bf9d895f1646789d3e04dd06abea66c0 730924 libs optional libppl12_1.0-5_amd64.deb 21a5197242065e034e5ed88e4b8a6b1f 3972970 libdevel optional libppl0.12-dev_1.0-5_amd64.deb 01a6bd6a676cb09de0f2a6573bf140df 187938 devel optional ppl-dev_1.0-5_amd64.deb 3fbb615a9dcc92f3787fe07f828fb7c3 1523236 libs optional libppl-c4_1.0-5_amd64.deb 48b0c4ff0d505a4d6b29ae136792ed56 5802130 libs optional libppl-swi_1.0-5_amd64.deb 70e617db8d6932ffdeaca525c8c0a769 7397536 doc optional libppl-doc_1.0-5_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlGHvxkACgkQStlRaw+TLJyIsQCePfxQ5HpCcUHSGTpIcHZZplXD ykIAn3FcxjTSFdd6ZixRPH+a0HAmMkRH =9Wz5 -----END PGP SIGNATURE-----
--- End Message ---
