Fedora Packages


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.14-1.fc40 -
Fedora 39 0.9.14-0.6.beta.2.fc39 0.9.14-1.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

You can contact the maintainers of this package via email at apron dash maintainers at fedoraproject dot org.

Sources on Pagure