February 2003 - PPL-devel - BUGSENG Mailman

ppl/Watchdog Watchdog.cc
by Roberto Bagnara 07 Feb '03

07 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-07 10:56:46 Modified files: Watchdog : Watchdog.cc Log message: Throw std::runtime_error instead of calling abort(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvs…

1 0

ppl/Watchdog Watchdog.inlines.hh
by Roberto Bagnara 07 Feb '03

07 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-07 10:52:56 Modified files: Watchdog : Watchdog.inlines.hh Log message: Throw std::invalid_argument if a Watchdog constructor is called with a non-positive number of time units. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.inlines.hh.…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 06 Feb '03

06 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-06 18:07:58 Modified files: src : Polyhedron.cc Log message: Added preprocessing flag BHRZ03_EP_DELAY_INTERSECTION, enabling a different implementation of the evolving points technique to be experimented with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 06 Feb '03

06 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-06 10:00:18 Modified files: src : Polyhedron.cc Log message: Make BHRZ03_AC_IS_SUM and BHRZ03_AC_CHECKS_H79_BOUNDARY default to 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl src/Polyhedron.cc tests/limitedh79widening2.cc
by Enea Zaffanella 05 Feb '03

05 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-05 16:10:02 Modified files: src : Polyhedron.cc tests : limitedh79widening2.cc Log message: Corrected the implementation of limited_H79_widening_assign to match its specification; the same for limited_BHRZ03_widening_assign. Corrected the known result of test limitedh79widening2, which was computed according to a flawed specification. 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/limitedh79widening2.cc.…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 05 Feb '03

05 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-05 15:07:43 Modified files: src : Polyhedron.cc Log message: Both BHRZ03_AC_IS_SUM and BHRZ03_AC_CHECKS_H79_BOUNDARY default to 0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Roberto Bagnara 05 Feb '03

05 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-05 14:45:41 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: A first, totally untested implementation of Polyhedron::bounded_H79_widening_assign() and Polyhedron::bounded_BHRZ03_widening_assign(). 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/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 05 Feb '03

05 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-05 11:26:33 Modified files: src : Polyhedron.defs.hh Log message: Improved the Doxygen comments for the two limited widening operators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 05 Feb '03

05 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-05 10:54:04 Modified files: src : Polyhedron.defs.hh Log message: Give more guarantees to the user of Polyhedron::shrink_bounding_box(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 05 Feb '03

05 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-05 10:49:30 Modified files: src : Polyhedron.cc Log message: Added preprocessing flags to control whether or not, in the technique BHRZ03_averaging_constraints, we actually compute averages or just sum the constraints and whether the selected point can lie on the boundary of H79. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0