Your message dated Mon, 06 May 2013 15:07:36 +0000
with message-id <e1uzn0q-0005xp...@franck.debian.org>
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 ow...@bugs.debian.org
immediately.)
--
680897: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=680897
Debian Bug Tracking System
Contact ow...@bugs.debian.org 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 680...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Matthias Klose <d...@debian.org> (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 ftpmas...@debian.org)
-----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 <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <d...@debian.org>
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 ---
