Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
science
pplite
pplite.changes
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File pplite.changes of Package pplite
------------------------------------------------------------------- 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> - 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 08:01:33 UTC 2020 - Jan Engelhardt <jengelh@inai.de> - Initial package (version 0.6) for build.opensuse.org
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor