OSDN -- Desarrollar y descargar software de código abierto
Translation Status of Español translation status for es

RSS
Download List

Descripción del Proyecto

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.

System Requirements

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2009-10-13 00:24
0.9.10

Octagon dominio ahora es compatible con hashing. Apoyo a las bibliotecas compartidas se ha añadido. Pequeños cambios en la API se hicieron.
Tags: Minor Enhancements, Hashing, Shared Libraries
Octagon domain now supports hashing. Support for shared libraries was added. Minor API changes were made.

2008-07-24 10:06
0.9.9

Tags: Initial freshmeat announcement

Project Resources

Project Page Descargar: Changelog Descargar: CVS Página principal Descargar: TGZ