libpplite5-0.12-1.3 RPM for x86_64

From OpenSuSE Tumbleweed for x86_64

PPLite is a C++ library implementing the abstract domain of convex polyhedra,
to be used in tools for static analysis and verification.

Provides

• libpplite5
• libpplite.so.5()(64bit)
• libpplite5(x86-64)

Requires

• /sbin/ldconfig
• /sbin/ldconfig
• ld-linux-x86-64.so.2()(64bit)
• ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libflint.so.19()(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgcc_s.so.1(GCC_3.4)(64bit)
• libgmp.so.10()(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(CXXABI_1.3.7)(64bit)
• libstdc++.so.6(CXXABI_1.3.9)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

GPL-3.0-or-later

Changelog

* Sat Oct 26 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 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

Files

/usr/lib64/libpplite.so.5
/usr/lib64/libpplite.so.5.0.0
/usr/share/licenses/libpplite5
/usr/share/licenses/libpplite5/COPYING

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Mar 15 00:10:20 2025