July 2006 - PPL-devel - BUGSENG Mailman

using PPL through ocaml
by Bhargav S. Gulavani 25 Jul '06

25 Jul '06

Hello, 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? Thanks, Bhargav.

2 1

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 20 Jul '06

20 Jul '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-07-20 08:08:43 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Removed a duplicate macro definition, improved some comments, reordered some macros. Added macros to make the components of a "simple" open or direct product cplusplus class available; these are now defined as: m4_cplusplus_class`'i_j where "i" is the class counter and "j" = 1 or 2 depending on whether it is the 1st or second argument. By "simple", we mean that the product construct is not nested. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/src Direct_Product.defs.hh
by Roberto Bagnara 06 Jul '06

06 Jul '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-07-06 08:57:23 Modified files: src : Direct_Product.defs.hh Log message: Temporarily commented out a friend declaration that is rejected by GCC 3.3.x. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 02 Jul '06

02 Jul '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-07-02 13:05:38 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Some small improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0