Filewatcher File Search File Search
Catalog
Content Search
» » » » »

libapron-dev

an abstract interpretation library

Variants:
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. It 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.

This package contains the files necessary to use the APRON library in C.

Homepage:
Package version:0.9.10-5.2
Architecture:all
Distribution:Debian
Filename:libapron-dev_0.9.10-5.2_all.deb

/usr/share/doc/libapron-dev/README.source

APRON Debian source package
===========================

Patching upstream sources
-------------------------

This source package uses quilt to apply and remove its patches. Please
refer to `/usr/share/doc/quilt/README.source' for information about
how to use quilt for source packages.

The quilt series is generated from the Git repository. Have a look at
the `redo-patches' target of debian/rules 
more»

/usr/share/doc/libapron-dev/examples/README

# This file is part of the APRON Library, released under LGPL
# license.

# Please read the COPYING file packaged in the distribution

There are currently two examples, 

- example1.c (C, use of level 1)
- mlexample1.ml, mlexample2.ml, mlexample3.ml (OCaml, level 1).

For C examples, type make example1

For OCaml examples, type make mlexample1 or make mlexample1.opt

Look at the Makefile for makin
more»

/usr/share/doc/libapron-dev/changelog.Debian.gz

apron (0.9.10-5.2) unstable; urgency=low

  * Follow-on NMU to fix the binary dependency on libppl0.10-dev.
    Really Closes: #620716.

 -- Steve Langasek <vorlon@debian.org>  Sun, 10 Apr 2011 09:38:37 +0000

apron (0.9.10-5.1) unstable; urgency=low

  * Non-maintainer upload.
  * Build-depend on the libppl-dev virtual package instead of libppl0.10-dev,
    since this latter package is no longer 
more»

/usr/share/doc/libapron-dev/changelog.gz

Version 0.9.10

- Migration advices (due to some API and compilation process changes)

  * as MLGMPI
more»

/usr/share/doc/libapron-dev/copyright

Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat?action=recall&rev=179
Package
more»

Browse inside libapron-dev_0.9.10-5.2_all.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (3)  65535+ mirrors

Download libapron-dev_0.9.10-5.2_all.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com