-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2011-15683 2011-11-10 16:48:42 --------------------------------------------------------------------------------
Name : apron Product : Fedora 16 Version : 0.9.10 Release : 4.fc16 URL : http://apron.cri.ensmp.fr/library/ Summary : Numerical abstract domain library Description : 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. -------------------------------------------------------------------------------- Update Information: This new package is a numerical abstract domain library. -------------------------------------------------------------------------------- References: [ 1 ] Bug #719757 - Review Request: apron - Numerical abstract domain library https://bugzilla.redhat.com/show_bug.cgi?id=719757 -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update apron' at the command line. For more information, refer to "Managing Software with yum", available at http://docs.fedoraproject.org/yum/. All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
