diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2018-12-14 19:53:47 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2018-12-14 19:53:47 +0000 |
commit | d9795d7e3bdaf5b9f67e50fcabc19b4910c4f822 (patch) | |
tree | 90917ed000dd507036ffb6ef7c91ad4559939ab9 /math/apron/pkg-descr | |
parent | e073560dba5feb5a1148f1f094f9dde1abd5c4e3 (diff) | |
download | ports-d9795d7e3bdaf5b9f67e50fcabc19b4910c4f822.tar.gz ports-d9795d7e3bdaf5b9f67e50fcabc19b4910c4f822.zip |
New port: math/apron: APRON numerical abstract domain library
Notes
Notes:
svn path=/head/; revision=487460
Diffstat (limited to 'math/apron/pkg-descr')
-rw-r--r-- | math/apron/pkg-descr | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/math/apron/pkg-descr b/math/apron/pkg-descr new file mode 100644 index 000000000000..2afaa6bb0ca2 --- /dev/null +++ b/math/apron/pkg-descr @@ -0,0 +1,11 @@ +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. You may look at to the Interproc analyzer for an +online demonstration of static analysis. + +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. + +WWW: http://apron.cri.ensmp.fr/library/ |