head 1.6;
access;
symbols
pkgsrc-2019Q4:1.6.0.10
pkgsrc-2019Q4-base:1.6
pkgsrc-2019Q3:1.6.0.6
pkgsrc-2019Q3-base:1.6
pkgsrc-2019Q2:1.6.0.4
pkgsrc-2019Q2-base:1.6
pkgsrc-2019Q1:1.6.0.2
pkgsrc-2019Q1-base:1.6
pkgsrc-2018Q4:1.5.0.18
pkgsrc-2018Q4-base:1.5
pkgsrc-2018Q3:1.5.0.16
pkgsrc-2018Q3-base:1.5
pkgsrc-2018Q2:1.5.0.14
pkgsrc-2018Q2-base:1.5
pkgsrc-2018Q1:1.5.0.12
pkgsrc-2018Q1-base:1.5
pkgsrc-2017Q4:1.5.0.10
pkgsrc-2017Q4-base:1.5
pkgsrc-2017Q3:1.5.0.8
pkgsrc-2017Q3-base:1.5
pkgsrc-2017Q2:1.5.0.4
pkgsrc-2017Q2-base:1.5
pkgsrc-2017Q1:1.5.0.2
pkgsrc-2017Q1-base:1.5
pkgsrc-2016Q4:1.4.0.10
pkgsrc-2016Q4-base:1.4
pkgsrc-2016Q3:1.4.0.8
pkgsrc-2016Q3-base:1.4
pkgsrc-2016Q2:1.4.0.6
pkgsrc-2016Q2-base:1.4
pkgsrc-2016Q1:1.4.0.4
pkgsrc-2016Q1-base:1.4
pkgsrc-2015Q4:1.4.0.2
pkgsrc-2015Q4-base:1.4
pkgsrc-2015Q3:1.3.0.14
pkgsrc-2015Q3-base:1.3
pkgsrc-2015Q2:1.3.0.12
pkgsrc-2015Q2-base:1.3
pkgsrc-2015Q1:1.3.0.10
pkgsrc-2015Q1-base:1.3
pkgsrc-2014Q4:1.3.0.8
pkgsrc-2014Q4-base:1.3
pkgsrc-2014Q3:1.3.0.6
pkgsrc-2014Q3-base:1.3
pkgsrc-2014Q2:1.3.0.4
pkgsrc-2014Q2-base:1.3
pkgsrc-2014Q1:1.3.0.2
pkgsrc-2014Q1-base:1.3
pkgsrc-2013Q4:1.2.0.8
pkgsrc-2013Q4-base:1.2
pkgsrc-2013Q3:1.2.0.6
pkgsrc-2013Q3-base:1.2
pkgsrc-2013Q2:1.2.0.4
pkgsrc-2013Q2-base:1.2
pkgsrc-2013Q1:1.2.0.2
pkgsrc-2013Q1-base:1.2
pkgsrc-2012Q4:1.1.1.1.0.6
pkgsrc-2012Q4-base:1.1.1.1
pkgsrc-2012Q3:1.1.1.1.0.4
pkgsrc-2012Q3-base:1.1.1.1
pkgsrc-2012Q2:1.1.1.1.0.2
pkgsrc-2012Q2-base:1.1.1.1
pkgsrc-20120408:1.1.1.1
TNF:1.1.1;
locks; strict;
comment @# @;
1.6
date 2019.02.09.13.05.16; author wen; state Exp;
branches;
next 1.5;
commitid xQotDIQWhhiAO5bB;
1.5
date 2017.02.28.15.01.27; author joerg; state Exp;
branches;
next 1.4;
commitid rZUZlaIJBLHwjJHz;
1.4
date 2015.11.03.23.33.41; author agc; state Exp;
branches;
next 1.3;
commitid vBzTXDWz0lsAFHHy;
1.3
date 2014.02.04.19.15.09; author wiz; state Exp;
branches;
next 1.2;
commitid xmcLK66fJeNlIOnx;
1.2
date 2013.02.09.21.29.24; author wiz; state Exp;
branches;
next 1.1;
1.1
date 2012.04.08.20.52.32; author wiz; state Exp;
branches
1.1.1.1;
next ;
1.1.1.1
date 2012.04.08.20.52.32; author wiz; state Exp;
branches;
next ;
desc
@@
1.6
log
@Update to 1.2
Upstream changes:
NEWS for version 1.2 (released on February 11, 2016)
--------------------------------------------------------------------------
New and Changed Features
========================
o Improved the efficiency of the conversion procedure for polyhedra
by adding a quick adjacency check.
o In the Java language interface, throw an exception when trying
to build a disequality Constraint.
Bugfixes
========
o Fixed a bug in the implementation of methods
Pointset_Powerset::relation_with(const Constraint&) const;
and
Pointset_Powerset::relation_with(const Congruence&) const;
whereby the computed result for relations strictly_intersects()
and saturates() could have been wrong.
o Fixed a bug in the implementation of dense rows.
o Portability improved.
@
text
@$NetBSD: distinfo,v 1.5 2017/02/28 15:01:27 joerg Exp $
SHA1 (ppl-1.2.tar.gz) = ecea680d11a8649c093e8e4686df39570594ac26
RMD160 (ppl-1.2.tar.gz) = 12a7a4497817dce117c5ca9e5a61ee09058c1de4
SHA512 (ppl-1.2.tar.gz) = dc0fe8acf5848860ffac408cfe9f228c87b121515755f69a4d242b07e7fde72ed3e830f83bb5c25ac76ea324aabfea5f99cec51392730e02cafbd51ab1d2121c
Size (ppl-1.2.tar.gz) = 16684340 bytes
SHA1 (patch-src_Determinate__inlines.hh) = 11b78fd028f7264ac06a1ca90ba375bcb446a3c6
SHA1 (patch-src_OR__Matrix__inlines.hh) = 1cde5fbb5bda39142a432b35d39cbbeada8a3939
@
1.5
log
@Fix C++ syntax.
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.4 2015/11/03 23:33:41 agc Exp $
d3 4
a6 4
SHA1 (ppl-1.1.tar.gz) = d24c79f7299320e6a344711aaec74bd2d5015b15
RMD160 (ppl-1.1.tar.gz) = 3619a9ed076c05bd042b5f2c3d6545a018c9908a
SHA512 (ppl-1.1.tar.gz) = 45e42eeb3e0bf5dbbb031b9980a556fc2e3134fdf0a8f58ed2d86ac8613aa45fe2725bcc2a02555317e8d639cc2277899b045770c4cfa7361eab438713e19490
Size (ppl-1.1.tar.gz) = 17281194 bytes
@
1.4
log
@Add SHA512 digests for distfiles for math category
Problems found locating distfiles:
Package dfftpack: missing distfile dfftpack-20001209.tar.gz
Package eispack: missing distfile eispack-20001130.tar.gz
Package fftpack: missing distfile fftpack-20001130.tar.gz
Package linpack: missing distfile linpack-20010510.tar.gz
Package minpack: missing distfile minpack-20001130.tar.gz
Package odepack: missing distfile odepack-20001130.tar.gz
Package py-networkx: missing distfile networkx-1.10.tar.gz
Package py-sympy: missing distfile sympy-0.7.6.1.tar.gz
Package quadpack: missing distfile quadpack-20001130.tar.gz
Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden). All existing
SHA1 digests retained for now as an audit trail.
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.3 2014/02/04 19:15:09 wiz Exp $
d7 2
@
1.3
log
@Update to 1.1, provided by Kai-Uwe Eckhardt in private mail.
--------------------------------------------------------------------------
NEWS for version 1.1 (released on October 28, 2013)
--------------------------------------------------------------------------
New and Changed Features
========================
o Added a new operator on polyhedra: the positive time elapse.
o In the Java language interface:
- The constraint/generator/... system classes now extend the ArrayList
generic container (rather than Vector);
- Variable objects are now built from a long (rather than int) value,
thereby matching the type used elsewhere for space dimensions;
- added new static method to Variable class
void setStringifier(Variable_Stringifier)
where Variable_Stringifier is an interface allowing for
customization of the output routine for variable's names
(see example in interfaces/Java/tests/Variable_Output_test1.java);
- added value NOT_EQUAL to enumeration Relation_Symbol.
Bugfixes
========
o Portability improved.
o Fixed a precision regression in Polyhedron method
void drop_some_non_integer_points(const Variables_Set&,
Complexity_Class);
o In the Java language interface, fixed a C++/Java conversion error
whereby the construction of a valid Variable object in JNI code
was leading to an exception being thrown. The bug has only been
observed on 32-bit builds.
o In the Java interface, fixed declaration of methods
void drop_some_non_integer_points(...);
so as to accept a Complexity_Class enum value.
o Fixed an issue in method MIP_Problem::OK() whereby the method
was trying to enforce a non-invariant condition.
--------------------------------------------------------------------------
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::contains(const BD_Shape& y) const;
bool Octagonal_Shape::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 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::upper_bound_assign(const Box&)
Box::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.
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.2 2013/02/09 21:29:24 wiz Exp $
d5 1
@
1.2
log
@Fix build with gmp-5.1.0.
From
http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git
via
https://raw.github.com/niXman/mingw-builds/master/patches/ppl/ppl-resolve-conflicts-with-gmp-5.1.0.patch
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.1.1.1 2012/04/08 20:52:32 wiz Exp $
d3 3
a5 5
SHA1 (ppl-0.11.2.tar.gz) = f3fe00f14983d6abcd1d4d886d340af04a974dfa
RMD160 (ppl-0.11.2.tar.gz) = 953717be0b3ca9f8a1e2e61b2025fdb0c16e02e5
Size (ppl-0.11.2.tar.gz) = 13741905 bytes
SHA1 (patch-src_mp__std__bits.cc) = d1ddd67269fab7e3584565c43fc2d0ae8111d4c7
SHA1 (patch-src_mp__std__bits.defs.hh) = 6e627fb09898e0071903b53ecd92ff01a27951f8
@
1.1
log
@Initial revision
@
text
@d1 1
a1 1
$NetBSD$
d6 2
@
1.1.1.1
log
@Initial import of ppl-0.11.2, packaged by Kai-Uwe Eckhardt for wip.
The Parma Polyhedra Library. Used by gcc for loop optimization.
@
text
@@