pplite-devel-0.11-lp160.1.1 RPM for ppc64le

From OpenSuSE Leap 16.0 for ppc64le

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(ppc-64)

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libflint.so.19()(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgmp.so.10()(64bit)
• libgmpxx.so.4()(64bit)
• libpplite.so.4()(64bit)
• libpplite4 = 0.11
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(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.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

* 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/lib64/libpplite.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Dec 20 23:23:07 2024