November 2004 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 15 Nov '04

15 Nov '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-11-15 12:11:24 Modified files: htdocs : news.raw ppl.raw Log message: URIs fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl configure.ac
by Roberto Bagnara 15 Nov '04

15 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-15 09:42:43 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./NEWS ./TODO src/Checked_Number.defs.hh s ...
by Roberto Bagnara 15 Nov '04

15 Nov '04

1 0

ppl/src Polyhedra_Powerset.defs.hh
by Roberto Bagnara 11 Nov '04

11 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-11 08:07:04 Modified files: src : Polyhedra_Powerset.defs.hh Log message: Powerset::omega_reduce() made available to users of class Polyhedra_Powerset. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h…

1 0

ppl configure.ac
by Roberto Bagnara 11 Nov '04

11 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-11 08:06:16 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./NEWS src/Polyhedra_Powerset.defs.hh src/ ...
by Enea Zaffanella 10 Nov '04

10 Nov '04

1 0

Powerset Domain C interface?
by Pedro Vasconcelos 09 Nov '04

09 Nov '04

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."

2 1

Re: A question on powerset operations
by Roberto Bagnara 09 Nov '04

09 Nov '04

Hosung Song wrote: > Thank you very much. Encouraged by your prompt feedback, I decided to > try to implement my own C interface for those polyhedra powerset > operations. All I need is just three operations: creation of an empty > powerset, add a disjunct, and finally check if a polyhedron is contained > (geometrically covered) by a powerset. (Maybe I would need more later.) > Since my C++ knowledge is very shallow, it took quite a long time to > figure out how (after all, most answers I found from the ppl_c.cc), > especially how to deal with the compile errors due to differences in > Polyhedron and NNC_Polyhedron. Polyhedra_PowerSet is defined as a > template class, and I just don't know much how to deal with one > effectively. I tried various different ad hoc trials, and it turns out > that there's a simple casting operation, which I found in another > portion of ppl_c.cc. Anyway, I know my implementation may be too > specific for my purpose, but I'd like you to look over it and give me > some confirmation. Dear Hosung, first of all, please accept my apologies for the delay with which I am answering. The last couple of weeks have been tough ones, and things do not seem to get any better. I have looked at your code and it seems correct. > It seems that the integration works well for my > project right now, but who knows if my implementation is just completely > bogus. I'm attaching the diffs for interfaces/C/ppl_c.cc and > interfaces/C/ppl_c.h.in. All diffs are just additions to the original > ppl_c.cc and ppl_c.h.in. I know they are really tiny, but it took me a > novice C++ user quite a few hours. Any of your comments would be greatly > appreciated. Your code looks OK. If it runs (I assume you have tested it) and it does what you want it to do, then you are all set. > I'd be happy if you somehow incorporate this kind of C > interface in the new release. In fact, I thought of coding this as a > separate source file, maybe under my project directory, because I didn't > want to modify the PPL distribution. However, my lack of knowledge on > how to compile it and manage as a library prohibited that approach. If > you could give me a pointer on general methods of making C interface for > library written in C++, I would certainly try that. This is an issue we are thinking about. I will try to summarize where we are in the next messages. All the best, and sorry again for the delay, 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

1 0

ppl/demos/ppl_lpsol Makefile.am
by Roberto Bagnara 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-08 21:52:43 Modified files: demos/ppl_lpsol: Makefile.am Log message: Distribute all the expected* files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 08 Nov '04

08 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-08 21:49:29 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Handle std::length_error exceptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0