[PPL-devel] a Bug, a Beg and a Binding

[Axel Simon]

Hi,

c) I have written a binding for the functional language Haskell to the 
C-interface of the PPL. I basically parse the C header file and 
generate the Haskell functions. Thus there might still be some 
functions which have an incorrect type. I'll contact you after I 
checked those (and adjusted the documentation which is much more work).

b) I have severe problems with the ppl_ConSys_const_Iterator_equal_test 
function. It works most of the times, but then it doesn't and my loop 
iterates on and on until I get a Bus Error or a Segmentation fault. I 
just wondered if anyone has experienced this kind of behavior or if 
it's my binding that is at fault.

c) There is a but in ppl_c.cc in version 0.5 of PPL. In class PIFunc 
the variable empty is not initialized. I changed the constructor (line 
1584) to:

   PIFunc(dimension_type* v, size_t n)
     : vec(v), vec_size(n), max_in_codomain_(not_a_dimension()),
     empty(-1) {
   }

which makes the ppl_Polyhedron_map_dimensions function work (instead of 
giving me the empty polyhedron all the time).

Oh, and another question: I didn't find any functions to calculate the 
maximum of a linear expression within a given polyhedron (i.e. do a 
simplex). I think this function is essential in abstract interpretation 
when I need to approximate a non linear expression. Did I miss it?

Thanks,
Axel.