LogoopenSUSE Build Service > Projects
Sign Up | Log In

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.

Source Files

Filename Size Changed Actions
_service 75 Bytes over 4 years ago Download File
apron-0.9.10.tgz 1.62 MB over 4 years ago Download File
apron-format-security.patch 381 Bytes over 4 years ago Download File
apron-mlgmpidl12.patch 2.78 KB over 4 years ago Download File
apron-ppl1.patch 325 Bytes over 4 years ago Download File
apron-strdup-can-be-a-macro.patch 540 Bytes almost 3 years ago Download File
apron-test.patch 13.7 KB over 4 years ago Download File
apron-weak.patch 536 Bytes over 4 years ago Download File
ocaml-apron.changes 673 Bytes almost 3 years ago Download File
ocaml-apron.spec 7.75 KB almost 3 years ago Download File

Comments for home:lorenz:formal (0)