BSD Ports

math/apron 0.9.15 FreeBSD

APRON numerical abstract domain library

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
License
LGPL21
Categories
math
Package size
1186.4 KiB, 10253.0 KiB installed

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. 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.

Install

Binary package:

pkg install apron

From the ports tree:

cd /usr/ports/math/apron/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	apron>0:math/apron
LIB_DEPENDS=	libap_pkgrid.so:math/apron

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest0.9.150.9.15-0.9.150.9.15
FreeBSD:14:quarterly0.9.150.9.15n/a0.9.150.9.15
FreeBSD:15:latest0.9.150.9.15n/a0.9.150.9.15
FreeBSD:15:quarterly0.9.150.9.15n/an/an/a
FreeBSD:16:latest0.9.150.9.15n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Library 4

The full lists below include those, and their dependencies in turn.

Build dependencies 7
Run dependencies 5
Required by 1

Configuration

No options to configure.

USES
gmake localbase:ldflags
Service scripts
none

Files

pkg-plist 180
  • include/ap_abstract0.h
  • include/ap_abstract1.h
  • include/ap_coeff.h
  • include/ap_config.h
  • include/ap_dimension.h
  • include/ap_disjunction.h
  • include/ap_environment.h
  • include/ap_expr0.h
  • include/ap_expr1.h
  • include/ap_generator0.h
  • include/ap_generator1.h
  • include/ap_generic.h
  • include/ap_global0.h
  • include/ap_global1.h
  • include/ap_interval.h
  • include/ap_lincons0.h
  • include/ap_lincons1.h
  • include/ap_linearize.h
  • include/ap_linearize_aux.h
  • include/ap_linexpr0.h
  • include/ap_linexpr1.h
  • include/ap_manager.h
  • include/ap_pkgrid.h
  • include/ap_policy.h
  • include/ap_ppl.h
  • include/ap_reducedproduct.h
  • include/ap_scalar.h
  • include/ap_tcons0.h
  • include/ap_tcons1.h
  • include/ap_texpr0.h
  • include/ap_texpr1.h
  • include/ap_var.h
  • include/ap_version.h
  • include/apronxx/apronxx.hh
  • include/apronxx/apxx_abstract0.hh
  • include/apronxx/apxx_abstract0_inline.hh
  • include/apronxx/apxx_abstract1.hh
  • include/apronxx/apxx_abstract1_inline.hh
  • include/apronxx/apxx_box.hh
  • include/apronxx/apxx_box_inline.hh
  • include/apronxx/apxx_coeff.hh
  • include/apronxx/apxx_coeff_inline.hh
  • include/apronxx/apxx_dimension.hh
  • include/apronxx/apxx_dimension_inline.hh
  • include/apronxx/apxx_environment.hh
  • include/apronxx/apxx_environment_inline.hh
  • include/apronxx/apxx_expr0.hh
  • include/apronxx/apxx_expr1.hh
  • include/apronxx/apxx_generator0.hh
  • include/apronxx/apxx_generator0_inline.hh
  • include/apronxx/apxx_generator1.hh
  • include/apronxx/apxx_generator1_inline.hh
  • include/apronxx/apxx_interval.hh
  • include/apronxx/apxx_interval_inline.hh
  • include/apronxx/apxx_lincons0.hh
  • include/apronxx/apxx_lincons0_inline.hh
  • include/apronxx/apxx_lincons1.hh
  • include/apronxx/apxx_lincons1_inline.hh
  • include/apronxx/apxx_linexpr0.hh
  • include/apronxx/apxx_linexpr0_inline.hh
  • include/apronxx/apxx_linexpr1.hh
  • include/apronxx/apxx_linexpr1_inline.hh
  • include/apronxx/apxx_manager.hh
  • include/apronxx/apxx_manager_inline.hh
  • include/apronxx/apxx_oct.hh
  • include/apronxx/apxx_oct_inline.hh
  • include/apronxx/apxx_polka.hh
  • include/apronxx/apxx_polka_inline.hh
  • include/apronxx/apxx_ppl.hh
  • include/apronxx/apxx_ppl_inline.hh
  • include/apronxx/apxx_ppl_product.hh
  • include/apronxx/apxx_ppl_product_inline.hh
  • include/apronxx/apxx_scalar.hh
  • include/apronxx/apxx_scalar_inline.hh
  • include/apronxx/apxx_t1p.hh
  • include/apronxx/apxx_t1p_inline.hh
  • include/apronxx/apxx_tcons0.hh
  • include/apronxx/apxx_tcons0_inline.hh
  • include/apronxx/apxx_tcons1.hh
  • include/apronxx/apxx_tcons1_inline.hh
  • include/apronxx/apxx_texpr0.hh
  • include/apronxx/apxx_texpr0_inline.hh
  • include/apronxx/apxx_texpr1.hh
  • include/apronxx/apxx_texpr1_inline.hh
  • include/apronxx/apxx_var.hh
  • include/apronxx/apxx_var_inline.hh
  • include/avo.h
  • include/avo/avo_fun.h
  • include/avo/avo_internal.h
  • include/bound.h
  • include/bound_def.h
  • include/box.h
  • include/fpp.h
  • include/fpp/bt.h
  • include/fpp/bv.h
  • include/fpp/fm.h
  • include/fpp/fpp_fun.h
  • include/fpp/fpp_internal.h
  • include/fpp/fpp_weakjoin.h
  • include/fpp/fppol_domain.h

The first 100 are listed.

distinfo 1
FileSizeSHA256
antoinemine-apron-v0.9.15_GH0.tar.gz1.197853e+065778fa1afaf0b36fe6a79989fc4374b0b3ece8a5e46a7ab195440209ccd67b1b

Commit history 0

No commits in the history this site was built from.