Fedora Packages

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.15-2.fc41 -
Fedora 40 0.9.14-7.fc40 0.9.14-7.fc40
Fedora 39 0.9.14-1.fc39 -
Fedora 38 0.9.13-17.fc38 -
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