openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File pplite.changes of Package pplite

-------------------------------------------------------------------
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

Places

File pplite.changes of Package pplite

Places