apron
Numerical abstract domain library
The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables, like 1<=x+y<=z, which holds during any execution of the program. The APRON library is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain.
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | 0.9.13-17.fc39 | - |
| Fedora 38 | 0.9.13-17.fc38 | 0.9.13-17.fc38 |
| Fedora 37 | 0.9.13-13.fc37 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: https://antoinemine.github.io/Apron/doc/
- License(s): LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later
- Maintainer: jjames
Related Packages
You can contact the maintainers of this package via email at
apron dash maintainers at fedoraproject dot org.
Sources on Pagure