October 2002 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.cc
by Enea Zaffanella 07 Oct '02

07 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-07 11:31:22 Modified files: src : Polyhedron.cc Log message: Modified method Polyhedron::is_BBRZ02_stabilizing(x, y) so that: - we check for a decreasing number of rays lying inside the faces of an orthant. - we check whether x and y do happens to be the same polyhedron. Modified method Polyhedron::BBRZ02_widening_assign(y) to apply, as a last resort, the widening H79. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests ascii_dump_load3.cc bbrz02widening1. ...
by Elisa Ricci 07 Oct '02

07 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-07 11:19:14 Modified files: tests : ascii_dump_load3.cc bbrz02widening1.cc bbrz02widening12.cc exceptions1.cc exceptions2.cc Log message: Modified these tests so that there is only a `set_handlers()' for each test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load3.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening12.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 07 Oct '02

07 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-07 10:12:45 Modified files: src : Polyhedron.defs.hh Log message: In the Doxygen documentation of affine (pre)-image operators, fixed a couple of mismatches in the naming of parameters. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Determinate.inlines.hh
by Roberto Bagnara 07 Oct '02

07 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-07 07:27:53 Modified files: src : Determinate.inlines.hh Log message: PH& Determinate<PH>::polyhedron() fixed: it was not calling mutate(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di…

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 07 Oct '02

07 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-07 07:21:41 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Added files: htdocs/Documentation/mirror: BultanGP99.ps.gz Log message: BultanGP99 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror…

1 0

w3ppl/htdocs/Documentation Makefile
by Roberto Bagnara 07 Oct '02

07 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-07 07:17:40 Modified files: htdocs/Documentation: Makefile Log message: Do not try to sort the bibliography. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Makefi…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 22:30:14 Modified files: src : algorithms.hh Log message: Added a tentative, inefficient implementation for template <typename PH> bool poly_hull_assign_if_exact(PH& p, const PH& q): if the poly-hull of `p' and `q' is exact, assigns it to `p' and returns `true'; it returns false otherwise. Added a tentative implementation for template <typename PH> void complete_reduction(PowerSet<Determinate<PH> >& p): it collapses all the elements of `p' that can be poly-hulled without loss of precision. Added tentative implementations of template <typename PH> void H79_widening_assign(PowerSet<Determinate<PH> >& r, const PowerSet<Determinate<PH> >& q) and template <typename PH> void BBRZ02_widening_assign(PowerSet<Determinate<PH> >& r, const PowerSet<Determinate<PH> >& q): they are meant to generalize the widenings on polyhedra to sets of polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Determinate.defs.hh Determinate.inlines.hh
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 22:23:17 Modified files: src : Determinate.defs.hh Determinate.inlines.hh Log message: Added PH& polyhedron(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di…

1 0

ppl/tests linearpartition1.cc linearpartition2 ...
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 22:22:22 Modified files: tests : linearpartition1.cc linearpartition2.cc linearpartition3.cc Log message: Reduce the scope of declarations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition2.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition3.cc.dif…

1 0

ppl/tests linearpartition2.cc linearpartition3.cc
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 20:01:34 Modified files: tests : linearpartition2.cc linearpartition3.cc Log message: Made quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition2.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition3.cc.dif…

1 0