Hello, I am interested in exploring the convex polyhera powerset domain to improve some precison loss in a size analysis that's part of my PhD research. I read the PPL documentation and saw no mention of the C interface to this. Does this mean it only usable thru the C++ library? Thanks for any help, Pedro Vasconcelos -- Pedro Vasconcelos, School of Computer Science, University of St Andrews ----------------------------------------------------------------------- "The difference between Theory and Practice is greater in Practice than in Theory."
Pedro Vasconcelos wrote:
I am interested in exploring the convex polyhera powerset domain to improve some precison loss in a size analysis that's part of my PhD research. I read the PPL documentation and saw no mention of the C interface to this. Does this mean it only usable thru the C++ library?
Dear Pedro, yes, currently polyhedra powersets are only available through the C++ interface of the library. Hosung Song has similar needs as yours and has written some interface code that suits his particular application. His message is archived at http://www.cs.unipr.it/pipermail/ppl-devel/2004-October/005075.html I will explain the reasons why we still have not provided this functionality in a subsequent message. 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@cs.unipr.it
participants (2)
-
Pedro Vasconcelos -
Roberto Bagnara