forked from pool/pplite
39 lines
1.7 KiB
Plaintext
39 lines
1.7 KiB
Plaintext
-------------------------------------------------------------------
|
|
Sat Oct 26 15:26:42 UTC 2024 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Update to release 0.12
|
|
* The library no longer depends on the C++ interface of GMP
|
|
(this change mainly affects classes ``pplite::Integer`` and
|
|
``pplite::Rational``).
|
|
* The support for conditional thread safety is now enabled by
|
|
default.
|
|
|
|
-------------------------------------------------------------------
|
|
Sun Nov 12 16:56:10 UTC 2023 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Update to release 0.11
|
|
* Adds a prototype implementation of the finite powerset of Poly
|
|
elements (PSet).
|
|
* Provides an efficiency-improved version of the F_Poly domain.
|
|
* The finite powerset domain is now a class template:
|
|
pre-generated instances, include finite sets of boxed polyhedra
|
|
(P_Set) and finite sets of Cartesian factored boxed polyhedra
|
|
(FP_Set).
|
|
* Added support for the integral split operator.
|
|
* Added new method `Index_Set get_unconstrained` to polyhedra
|
|
domains, returning the set of unconstrained space dimensions.
|
|
|
|
-------------------------------------------------------------------
|
|
Mon Jun 21 11:23:39 UTC 2021 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Update to release 0.7
|
|
* This version also adds a C++ polymorphic interface allowing to
|
|
experiment with several variants of the domain of convex
|
|
polyhedra: Poly, U_Poly, F_Poly, UF_Poly and their XXX_Stats
|
|
versions, computing timing information for abstract operators.
|
|
|
|
-------------------------------------------------------------------
|
|
Wed Sep 30 08:01:33 UTC 2020 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Initial package (version 0.6) for build.opensuse.org
|