November 2004 - PPL-devel - BUGSENG Mailman

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

22 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-22 06:33:11 Modified files: demos/ppl_lcdd : Makefile.am demos/ppl_lpsol: Makefile.am interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am Log message: Do not depend on the current locale. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl TODO
by Roberto Bagnara 22 Nov '04

22 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-22 06:31:46 Modified files: . : TODO Log message: Postpone one item to PPL 0.8. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.11…

1 0

ppl/src Linear_Row.defs.hh Linear_Row.inlines.hh
by Enea Zaffanella 21 Nov '04

21 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-21 15:00:04 Modified files: src : Linear_Row.defs.hh Linear_Row.inlines.hh Log message: Removed useless constructor for Linear_Row::Flags objects. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.inlines.hh.dif…

1 0

ppl/Watchdog configure.ac
by Roberto Bagnara 20 Nov '04

20 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-20 08:10:10 Modified files: Watchdog : configure.ac Log message: Define the PROFILING symbol when compiling for profiling. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0

How to do Powerset element normalization
by Pedro Vasconcelos 17 Nov '04

17 Nov '04

Hello, I am starting to use the closed convex polyhedra powerset domain for my PhD research. Since I want to use it from Haskell, I'm extending the C and Haskell bindings (built on top of the C interface to PPL version 0.6.1). So far I have managed to get a minimal interface working -- creating powersets, adding disjuncts and constraints and outputing results. Now the question I have is: what is the prefered way to ensure that a powerset is Omega-reduced, i.e. all its elements are maximal wrt the original partial order (in particular, removing bottom elements)? Polyhedra_PowerSet<C_Polyhedron> has a member function `omega_reduce()' that is suposed to do just this, but it is protected, so the compiler complains if I try to use in the C interface. The only solution I found is to use `pairwise_reduce()' instead. It seems to do what I want, but I am confused as to the reason for the protected function. Please excuse me (and please tell me!) if this is not the right forum to ask these questions. Best regards, 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."

3 5

Performance of cdd and lrslib
by Axel Simon 17 Nov '04

17 Nov '04

Roberto, some time ago you posted a table that compared the cdd and lrslib libraries with the PPL. Is that table still available? I told Andy (King, my supervisor) that there were quite some differences between the different libraries although they use similar methods, so he got interested in the numbers. Thanks in advance, Axel.

2 1

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 16:53:58 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/src Row.cc
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 16:50:16 Modified files: src : Row.cc Log message: Method Row::Impl::shrink() fixed: it was horribly broken on October 30, 2004 with the result that no memory could ever be deallocated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/src Linear_System.defs.hh Linear_System.in ...
by Enea Zaffanella 15 Nov '04

15 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-15 15:37:56 Modified files: src : Linear_System.defs.hh Linear_System.inlines.hh Linear_System.cc SatMatrix.defs.hh SatMatrix.inlines.hh SatMatrix.cc swapping_sort.icc Log message: Function objects *LessThan() renamed as *_Less_Than. Rewritten the sorting routine based on iter_swap's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/swapping_sort.icc.diff?cv…

1 0

PPL position available
by Roberto Bagnara 15 Nov '04

15 Nov '04

The post is available for a fixed term of one year, in the first instance, to join the Software Analysis research team led by Dr Patricia M. Hill [1] in the School of Computing [2], University of Leeds [3], UK. A substantial part of the job concerns the development and maintenance of the Parma Polyhedra Library, a library for the manipulation of numerical abstraction used in static program analysis and automated program verification. The ideal candidate should have a good degree in Computer Science or related subject with excellent programming skills and some expertise in C++. Some knowledge about static program analysis and convex polyhedra would also be useful. See the official advert [4] for more information. [1] http://www.comp.leeds.ac.uk/hill/ [2] http://www.comp.leeds.ac.uk/ [3] http://www.leeds.ac.uk/ [4] http://wwwnotes2.leeds.ac.uk/jobs/unijob.nsf/756c9c2f13a3c88780256cce0043e7… -- 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