PPLite is a C++ library implementing the abstract domain of convex polyhedra, to be used in tools for static analysis and verification.
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 0.7-bp157.1.3 info | GA Release | 2025-04-21 | 15 SP7 |
|
|
| 0.7-bp156.2.6 info | GA Release | 2024-05-13 | 15 SP6 |
|
|
| 0.11-bp160.1.10 info | GA Release | 2023-11-12 | 16.0 |
|
|
| 0.7-bp155.1.7 info | GA Release | 2023-05-17 | 15 SP5 |
|
|