| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: libpplite4 | Distribution: openSUSE Tumbleweed |
| Version: 0.11 | Vendor: openSUSE |
| Release: 1.3 | Build date: Thu Mar 7 20:09:34 2024 |
| Group: System/Libraries | Build host: i03-ch2a |
| Size: 1810925 | Source RPM: pplite-0.11-1.3.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://github.com/ezaffanella/PPLite/ | |
| Summary: Library for computations with polyhedra | |
PPLite is a C++ library implementing the abstract domain of convex polyhedra, to be used in tools for static analysis and verification.
GPL-3.0-or-later
* Sun Nov 12 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 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 2020 Jan Engelhardt <jengelh@inai.de>
- Initial package (version 0.6) for build.opensuse.org
/usr/lib64/libpplite.so.4 /usr/lib64/libpplite.so.4.0.0 /usr/share/licenses/libpplite4 /usr/share/licenses/libpplite4/COPYING
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat Apr 27 00:14:29 2024