--- 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.0-1
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 680897@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Matthias Klose <doko@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 ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 27 Jan 2013 23:15:02 +0100
Source: ppl
Binary: libppl12 libppl0.12-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source amd64 all
Version: 1.0-1
Distribution: experimental
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <doko@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.0-1) experimental; urgency=low
.
* New upstream version. Closes: #680897.
Checksums-Sha1:
7b1aa6543c0b751451039a92133dc97595301335 1583 ppl_1.0-1.dsc
f5be29fe0c2a17090ba6232f0e90b5c8e65bebb9 13847344 ppl_1.0.orig.tar.xz
0d2159fde433db5060828262a7a2feb2e634bae7 15023 ppl_1.0-1.debian.tar.gz
604fe0160941c1734d9506049b0150d36e955939 730824 libppl12_1.0-1_amd64.deb
e07f734a35112e8b00c7f8ba0167e28cf3819054 3970986 libppl0.12-dev_1.0-1_amd64.deb
66fabcb37b7d53979fa45be2f959863c2e69b274 187694 ppl-dev_1.0-1_amd64.deb
5791a2a1cc8ffa20cd961e0c412e73591baf4350 1523470 libppl-c4_1.0-1_amd64.deb
0ba54d0b71c3859c1c16658e10bff4b522b5fa57 5802534 libppl-swi_1.0-1_amd64.deb
6be4355d3a8795c5a6095b325806dfaaef9a4790 7395010 libppl-doc_1.0-1_all.deb
Checksums-Sha256:
1a7055dc6c176525d842186011e2cc2a53eb4913f7159ef6f6a03db555043196 1583 ppl_1.0-1.dsc
304d8e93f1a76077effdebbbd81d053b3c0e1e0eb9b7a46b387f0a57eb8e09c9 13847344 ppl_1.0.orig.tar.xz
661ea651585c067b3b6639dc55761570730dbd42ef0cd534c9f895278820f7d1 15023 ppl_1.0-1.debian.tar.gz
3b492623ab0dd468367b86f1649f6d76633576acf77a1a1666dc2ce2030aed62 730824 libppl12_1.0-1_amd64.deb
28efc49c9f5bbfb8165f7e3bbaf26ea7bcabb1dab93664c80b0648e2ec8a4e94 3970986 libppl0.12-dev_1.0-1_amd64.deb
672da1c4c00c10a357859e0561e3f200172ea2c08a066cbee7b4c55a97bc48e4 187694 ppl-dev_1.0-1_amd64.deb
6fac17d750606524b16e4f07816b1f9fc15d8e9a1f3187b79ca3a4ffe1e866e7 1523470 libppl-c4_1.0-1_amd64.deb
d784a8d9b775eeab09782b13f4ec6c00a5d32fe062f16b125b34e3500b50c14b 5802534 libppl-swi_1.0-1_amd64.deb
b4ecc11d3cadc319b17566446c255435451a22bb155167d654dcddd3c3477f82 7395010 libppl-doc_1.0-1_all.deb
Files:
1cdf98b7d67a8093ac4b28680f1806df 1583 libs optional ppl_1.0-1.dsc
e8caeb84cd858f64b36333c368891c7b 13847344 libs optional ppl_1.0.orig.tar.xz
58930c68469bbc0ef7b170681e70111a 15023 libs optional ppl_1.0-1.debian.tar.gz
6039f383427637812964085fae07cf9b 730824 libs optional libppl12_1.0-1_amd64.deb
aa2bb0f7f09b4ca84dc322133aca644f 3970986 libdevel optional libppl0.12-dev_1.0-1_amd64.deb
b40b0ea1e29c0fd9d36f2da4f728c4db 187694 devel optional ppl-dev_1.0-1_amd64.deb
5bfe7be80d78b81201e11379f0b281c9 1523470 libs optional libppl-c4_1.0-1_amd64.deb
878e4042fd5b6a11fa39f7ffb66f6a93 5802534 libs optional libppl-swi_1.0-1_amd64.deb
403b3756ec10313b961f884644baf65b 7395010 doc optional libppl-doc_1.0-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlEF0zcACgkQStlRaw+TLJxCKwCguc7m8t5592PBuwAw6SDJRQzz
DGYAn2NdSMuOGuYBMR23dySDGlKeQDSY
=eveF
-----END PGP SIGNATURE-----
--- End Message ---