August 2003 - PPL-devel - BUGSENG Mailman

ppl/src algorithms.hh
by Roberto Bagnara 28 Aug '03

28 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-28 10:45:02 Modified files: src : algorithms.hh Log message: Function check_containment() fixed and silenced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 27 Aug '03

27 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-27 23:16:25 Modified files: src : algorithms.hh Log message: Fixed a couple of bugs in check_containment(). Print statements added to the same function in order to help debugging it (it still does not work). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Polyhedra_PowerSet.defs.hh Polyhedra_P ...
by Roberto Bagnara 27 Aug '03

27 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-27 23:14:45 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Log message: New methods `bool semantically_contains(const Polyhedra_PowerSet&) const' and `bool semantically_equals(const Polyhedra_PowerSet&) const'. Fixed methods ascii_dump() and ascii_load(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/src Polyhedra_PowerSet.defs.hh Polyhedra_P ...
by Roberto Bagnara 27 Aug '03

27 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-27 18:31:11 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Log message: Methods `void Polyhedra_PowerSet<PH>::ascii_dump(std::ostream&) const' and `bool Polyhedra_PowerSet<PH>::ascii_load(std::istream&)' added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl ./TODO src/Init.cc
by Roberto Bagnara 27 Aug '03

27 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-27 18:29:25 Modified files: . : TODO src : Init.cc Log message: New mechanism to allow the user to redefine the GMP memory allocation functions being 100% sure that all GMP objects are allocated and deallocated by the same functions (nasty things happen if this is not the case). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.57… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&…

1 0

ppl ./acinclude.m4 ./config.h.in ./configure.a ...
by Roberto Bagnara 27 Aug '03

27 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-27 18:22:47 Modified files: . : acinclude.m4 config.h.in configure.ac Added files: m4 : ac_cxx_attribute_weak.m4 Log message: Check whether the C++ compiler supports __attribute__ ((weak)). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/acinclude.m4.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_attribute_weak.m4?c…

1 0

ppl/src AskTell.defs.hh AskTell.inlines.hh Det ...
by Roberto Bagnara 26 Aug '03

26 Aug '03

1 0

a Bug, a Beg and a Binding
by Axel Simon 26 Aug '03

26 Aug '03

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.

4 9

ppl/src algorithms.hh
by Roberto Bagnara 26 Aug '03

26 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-26 14:49:48 Modified files: src : algorithms.hh Log message: Added a first version of the "check_containment" algorithm described in Srivastava93. Multiple inclusion guard added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Polyhedra_PowerSet.defs.hh Polyhedra_P ...
by Roberto Bagnara 26 Aug '03

26 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-26 08:47:27 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Log message: Added Polyhedra_PowerSet<PH>::limited_BHZ03_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0