pplite-devel-0.12-1.1 RPM for i586

From OpenSuSE Ports Tumbleweed for i586

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

  * Both closed and NNC rational convex polyhedra are supported.
  * Exact computations are based on FLINT.

Provides

• pplite-devel
• pplite-devel(x86-32)

Requires

• libc.so.6
• libc.so.6(GLIBC_2.0)
• libc.so.6(GLIBC_2.1.3)
• libc.so.6(GLIBC_2.34)
• libc.so.6(GLIBC_2.4)
• libflint.so.19
• libgcc_s.so.1
• libgcc_s.so.1(GCC_3.0)
• libgcc_s.so.1(GCC_3.4)
• libgmp.so.10
• libpplite.so.5
• libpplite5 = 0.12
• libstdc++.so.6
• libstdc++.so.6(CXXABI_1.3)
• libstdc++.so.6(CXXABI_1.3.7)
• libstdc++.so.6(CXXABI_1.3.9)
• libstdc++.so.6(GLIBCXX_3.4)
• libstdc++.so.6(GLIBCXX_3.4.11)
• libstdc++.so.6(GLIBCXX_3.4.19)
• libstdc++.so.6(GLIBCXX_3.4.21)
• libstdc++.so.6(GLIBCXX_3.4.29)
• libstdc++.so.6(GLIBCXX_3.4.32)
• libstdc++.so.6(GLIBCXX_3.4.9)
• 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/bin/pplite_lcdd
/usr/include/pplite
/usr/include/pplite/Abs_Poly.hh
/usr/include/pplite/Abs_Poly_Adapter.hh
/usr/include/pplite/Affine_Expr.hh
/usr/include/pplite/BBox.hh
/usr/include/pplite/BBox_impl.hh
/usr/include/pplite/B_Poly.hh
/usr/include/pplite/Bits.hh
/usr/include/pplite/Con.hh
/usr/include/pplite/Dyn_Poly.hh
/usr/include/pplite/FLINT_Integer.hh
/usr/include/pplite/FLINT_Rational.hh
/usr/include/pplite/F_Poly.hh
/usr/include/pplite/Gen.hh
/usr/include/pplite/Index_Partition.hh
/usr/include/pplite/Integer.hh
/usr/include/pplite/Integer_fwd.hh
/usr/include/pplite/Itv.hh
/usr/include/pplite/Linear_Expr.hh
/usr/include/pplite/Local_Stats.hh
/usr/include/pplite/Low_Level_Stats.hh
/usr/include/pplite/Output_Function.hh
/usr/include/pplite/Poly.hh
/usr/include/pplite/PolySet.hh
/usr/include/pplite/PolySet_templ.hh
/usr/include/pplite/Poly_Rel.hh
/usr/include/pplite/Poly_Stats.hh
/usr/include/pplite/Poly_min.hh
/usr/include/pplite/Poly_templ.hh
/usr/include/pplite/Poly_widen.hh
/usr/include/pplite/Rational.hh
/usr/include/pplite/Rational_fwd.hh
/usr/include/pplite/Sat.hh
/usr/include/pplite/Scalar_Prod.hh
/usr/include/pplite/Two_Poly.hh
/usr/include/pplite/U_Poly.hh
/usr/include/pplite/Var.hh
/usr/include/pplite/ascii_dump.hh
/usr/include/pplite/ascii_dump_load.hh
/usr/include/pplite/clock.hh
/usr/include/pplite/globals.hh
/usr/include/pplite/mater_iterator.hh
/usr/include/pplite/memory_in_bytes.hh
/usr/include/pplite/pplite-config.h
/usr/include/pplite/pplite.hh
/usr/include/pplite/support_utils.hh
/usr/include/pplite/utils.hh
/usr/lib/libpplite.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Dec 19 23:52:30 2024