48c87742e9
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<PSET>::relation_with(const Constraint&) const;
and
Pointset_Powerset<PSET>::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.
8 lines
548 B
Text
8 lines
548 B
Text
$NetBSD: distinfo,v 1.6 2019/02/09 13:05:16 wen 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
|