October 2002 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am bbrz02widening18.cc
by Enea Zaffanella 09 Oct '02

09 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-09 09:08:42 Modified files: tests : Makefile.am Added files: tests : bbrz02widening18.cc Log message: New test for bbrz02widening18, showing that we fall back to H79 when we may have obtained more precise results by combining H79 and the bbrz02 heuristics. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening18.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/doc Makefile.am
by Roberto Bagnara 09 Oct '02

09 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-09 09:07:18 Modified files: doc : Makefile.am Log message: Use the `-d Validate' option of doxygen (and see the resulting disaster). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl src/Polyhedron.cc tests/Makefile.am tests/ ...
by Elisa Ricci 08 Oct '02

08 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-08 12:29:37 Modified files: src : Polyhedron.cc tests : Makefile.am Added files: tests : bbrz02widening16.cc bbrz02widening17.cc Log message: Improved the third technique: the rays that we want to add are modified so that they satisfy the constraints of "common_con_sys". Added to test to verify these changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening16.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening17.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 08 Oct '02

08 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-08 09:24:51 Modified files: src : Polyhedron.cc Log message: Modified Polyhedron::is_BBRZ02_stabilizing(): if the number of points (or closure points) of `y' is smaller than the number of points of `x', the chain is not stabilizing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am ascii_dump_load1.cc asci ...
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 21:47:22 Modified files: tests : Makefile.am ascii_dump_load1.cc ascii_dump_load2.cc ascii_dump_load3.cc Log message: Write files in the current directory. Make sure the current directory is also properly cleaned afterwards. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load2.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load3.cc.dif…

1 0

ppl/src Polyhedron.cc
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 17:16:04 Modified files: src : Polyhedron.cc Log message: Made a little improvement to the third technique of Polyhedron::BBRZ02_widening_assign(): we built a temporary system of generators and then we use Polyhedron::add_generators_and_minimize() to add this system to the polyhedron `x'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
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 16:07:03 Modified files: src : Polyhedron.cc Log message: Corrected an error in the second technique of Polyhedron::BBRZ02_widening_assign(): we add the system of generators `valid_rays' if the new ray has all homogeneous coefficients equal to zero or if adding only a ray there is not stabilization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
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 14:38:56 Modified files: src : Polyhedron.cc Log message: Modified the second technique of Polyhedron::BBRZ02_widening_assign() so that before we add only the averaged ray and if the result is not stabilizing we add all the rays of `valid_rays'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

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 12:12:23 Modified files: src : Polyhedron.cc Log message: In is_BBRZ02_stabilizing(), corrected a bug in the test on stabilization based on number of rays. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.i ...
by Patricia Hill 07 Oct '02

07 Oct '02

1 0