| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: ppl | Distribution: openSUSE Leap 16.0 |
| Version: 1.2 | Vendor: openSUSE |
| Release: lp160.1.1 | Build date: Thu May 4 13:45:22 2023 |
| Group: Development/Libraries/C and C++ | Build host: reproducible |
| Size: 241563 | Source RPM: ppl-1.2-lp160.1.1.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://www.bugseng.com/parma-polyhedra-library | |
| Summary: The Parma Polyhedra Library | |
The Parma Polyhedra Library (PPL) is a library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library comes with several user friendly interfaces, is fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in accordance to all the applicable standards, exception-safe, rather efficient, thoroughly documented, and free software. This package provides all what is necessary to run applications using the PPL through its C and C++ interfaces.
GPL-3.0-or-later
* Thu May 04 2023 Dominique Leuenberger <dimstar@opensuse.org>
- Convert to real _multibuild package: the spec already handles
flavor differences.
* Sat Oct 24 2020 Jan Engelhardt <jengelh@inai.de>
- Disable lpsol and lcdd.
- Drop old bundled changelog file
* Sun Sep 20 2020 Jan Engelhardt <jengelh@inai.de>
- Remove useless keyring (outofdate key).
* Mon Aug 26 2019 Jan Engelhardt <jengelh@inai.de>
- Disable static builds, disable baselibs (unused).
- Enable glpk components.
* Tue Oct 11 2016 adam.majer@suse.de
- Update to new upstream release 1.2
* Improved the efficiency of the conversion procedure for
polyhedra by adding a quick adjacency check.
* In the Java language interface, throw an exception when trying
to build a disequality Constraint.
* Fixed a bug in the implementation of dense rows.
* Fixed a bug in the implementation of ::relation_with
* Portability improved.
- soname bumped
* Sat Nov 14 2015 jengelh@inai.de
- Update to new upstream release 1.1
* Remove the Sparse_Matrix class and add a Matrix<Row> class
instead.
* Dense_Row: remove the capacity argument from the two-argument
OK() method.
* Matrix: add some methods: row_capacity(), reserve_rows(),
remove_rows() and swap_columns().
* Dense_Matrix: add non-const iterator and the remove_rows() and
reserve_rows() methods.
* Matrix: rename the row_capacity() method into capacity().
* Remove the Dense_Matrix class, and use Matrix<Dense_Row> instead.
* Constraint_System: replace the const_iterator class with an
external Constraint_System_const_iterator class.
* Generator_System: replace the const_iterator class with an
external Generator_System_const_iterator class.
* Split the Linear_System::With_Bit_Matrix_iterator class out of
Linear_System and rename it to Linear_System_With_Bit_Matrix_iterator.
* Many more API changes. See the git log summary lines for details,
provided in /usr/share/doc/packages/GLS-0.12-1.1.
- Drop ppl-gmp-5.1.0.patch (merged upstream)
* Mon Nov 02 2015 rpm@fthiessen.de
- Fixed dependencies of devel package.
- Cleaned spec file: Use so-name.
* Sun Sep 27 2015 mpluskal@suse.com
- Update to 0.12.1
* See NEWS file for complete list of changes
* Tue Aug 04 2015 mpluskal@suse.com
- Update to 0.12
* See NEWS file for complete list of changes
- Cleanup spec file with spec-clener
- Remove no longer needed dependency on gpg-offline
- Refresh ppl-gmp-5.1.0.patch
- Reduce duplicate files in documentation
* Wed Sep 04 2013 rguenther@suse.com
- Disable -g when building the testsuite.
* Mon Apr 15 2013 idonmez@suse.com
- Comment out GPG part, since it'll break bootstrap
* Mon Apr 15 2013 idonmez@suse.com
- Add Source URL, see https://en.opensuse.org/SourceUrls
- Add GPG verification
* Tue Mar 05 2013 idonmez@suse.com
- Add ppl-gmp-5.1.0.patch to fix build with new gmp
* Tue Jan 24 2012 jengelh@medozas.de
- Remove redundant sections (see specfile guidelines)
* Mon Jan 23 2012 meissner@suse.de
- include /usr/share/aclocal directory as we no longer require autoconf
* Wed Aug 31 2011 rguenther@suse.com
- Fix fixed baselibs.conf
* Thu Mar 03 2011 rguenther@novell.com
- Update to version 0.11.2. [fate#311972]
* Minor bugfixes
* Wed Sep 22 2010 coolo@novell.com
- fix baselibs.conf
* Thu Aug 05 2010 rguenther@novell.com
- Update to version 0.11.
* Many new features, see NEWS file
- Library package name changes for SONAME bumps.
* Sun Jun 27 2010 jengelh@medozas.de
- use %_smp_mflags
* Fri Jun 18 2010 prusnak@opensuse.org
- add baselibs.conf
* Wed Dec 16 2009 jengelh@medozas.de
- package documentation as noarch
* Thu Apr 16 2009 rguenther@suse.de
- Update to version 0.10.2. [fate#306970]
* fixes build with gmp 4.3.0
* Tue Apr 14 2009 rguenther@suse.de
- Update to bugfix release 0.10.1.
- Make the testsuite fatal everywhere.
- Disable memory1 test on s390x.
* Mon Mar 16 2009 rguenther@suse.de
- Wrap Recommends in suse_version check.
* Tue Nov 04 2008 rguenther@suse.de
- Update to final version 0.10.
* many new features and bugfixes (see NEWS file for details)
* Thu Oct 30 2008 rguenther@suse.de
- Update to version 0.10pre37.
- Rename libppl_c0 to libppl_c2 to follow new shared object name.
* Fri Sep 05 2008 rguenther@suse.de
- Re-add static libs to ppl-devel-static.
* Wed Sep 03 2008 rguenther@suse.de
- Remove all static libs.
* Wed Sep 03 2008 rguenther@suse.de
- Update to version 0.10pre24.
* Sun Aug 03 2008 rguenther@suse.de
- Package version 0.9.
/usr/bin/ppl_pips /usr/share/doc/ppl /usr/share/doc/ppl/BUGS /usr/share/doc/ppl/COPYING /usr/share/doc/ppl/CREDITS /usr/share/doc/ppl/NEWS /usr/share/doc/ppl/README /usr/share/man/man1/ppl_pips.1.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Jan 24 23:38:10 2025