[PPL-devel] using PPL through ocaml

[Roberto Bagnara]

Bhargav S. Gulavani wrote:
> I am implementing a static analyzer for C programs, and I want to use the
> polyhedra abstract domain to reason about relations among interger
> variables. The static analysis tool is written in ocaml.
> 
> Is it possible to interface the PPL library with ocaml?

Dear Barghav,

at present you can interface the PPL with OCaml via the PPL's C interface.
An OCaml interface for the PPL is planned (and we also have some code
running), but I do not know when it will be ready.
All the best,

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it