pool/pplite
SHA256
2
0
Fork 2
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

- Update to release 0.11

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/science/pplite?expand=0&rev=4
This commit is contained in:
Jan Engelhardt 2023-11-12 17:21:57 +00:00 committed by Git OBS Bridge
parent 552374389e
commit cc4f08ee9d
4 changed files with 23 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pplite-0.11.tar.gz Normal file
View File

@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:e884b9cd569bf17fa09e12bcfea6cf1f914e0c5686eaf22c206f534c4a5f1c42
size 918634

3
pplite-0.7.tar.gz
View File

@ -1,3 +0,0 @@
version https://git-lfs.github.com/spec/v1
oid sha256:66f5a3371fa6e91d93713f3f4eb31e1d07cc3742826565d93fff41326ffaa3cb
size 864792

15
pplite.changes
View File

@ -1,3 +1,18 @@
-------------------------------------------------------------------
Sun Nov 12 16:56:10 UTC 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 11:23:39 UTC 2021 - Jan Engelhardt <jengelh@inai.de> Mon Jun 21 11:23:39 UTC 2021 - Jan Engelhardt <jengelh@inai.de>

10
pplite.spec
View File

@ -1,7 +1,7 @@
# #
# spec file for package pplite # spec file for package pplite
# #
# Copyright (c) 2020 SUSE LLC # Copyright (c) 2023 SUSE LLC
# #
# All modifications and additions to the file contributed by third parties # All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed # remain the property of their copyright owners, unless otherwise agreed
@ -16,16 +16,16 @@
# #
%define lname libpplite1 %define lname libpplite4
%define _lto_cflags %nil %define _lto_cflags %nil
Name: pplite Name: pplite
Version: 0.7 Version: 0.11
Release: 0 Release: 0
Summary: Computations with polyhedra Summary: Computations with polyhedra
License: GPL-3.0-or-later License: GPL-3.0-or-later
Group: Productivity/Scientific/Math Group: Productivity/Scientific/Math
URL: https://www.cs.unipr.it/~zaffanella/PPLite/ URL: https://github.com/ezaffanella/PPLite/
Source: https://www.cs.unipr.it/~zaffanella/PPLite/releases/%name-%version.tar.gz Source: https://github.com/ezaffanella/PPLite/raw/main/releases/%name-%version.tar.gz
BuildRequires: flint-devel BuildRequires: flint-devel
BuildRequires: gcc-c++ BuildRequires: gcc-c++
BuildRequires: gmp-devel BuildRequires: gmp-devel