March 2007 - PPL-devel - BUGSENG Mailman

ppl STANDARDS
by Enea Zaffanella 09 Mar '07

09 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-09 08:37:01 Modified files: . : STANDARDS Log message: Added a paragraph describing DO_TEST_Fxxx macros. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/src checked_float.inlines.hh
by Enea Zaffanella 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-08 19:08:49 Modified files: src : checked_float.inlines.hh Log message: Removed trailing whitespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/tests/Octagonal_Shape incremental1.cc
by Barbara Quartieri 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2007-03-08 16:30:01 Modified files: tests/Octagonal_Shape: incremental1.cc Log message: Removed debug informations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/increme…

1 0

ppl/tests/Box max_min1.cc
by Enea Zaffanella 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-08 15:17:18 Modified files: tests/Box : max_min1.cc Log message: Tests test07() and test08() may overflow when TBox has been instantiated with a floating point datatype. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/max_min1.cc.diff?cv…

1 0

ppl/tests ppl_test.hh
by Enea Zaffanella 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-08 15:16:00 Modified files: tests : ppl_test.hh Log message: Added macro DO_TEST_OVERFLOW which checks that a failure in a test is actually motivated by an overflow. The new macro used instead of DO_TEST_F (which was accepting any kind of failure) when defining macros DO_TEST_Fxx. Added new macro DO_TEST_MAY_OVERFLOW_WITH_FLOAT to be used when a test may cause an overflow only when one of the domains supporting floating points (i.e., Box, BD_Shape and Octagonal_Shape) is actually instantiated with a floating point datatype. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/tests/Box relations1.cc relations2.cc
by Roberto Bagnara 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-08 14:27:14 Modified files: tests/Box : relations1.cc relations2.cc Log message: Noisy output standardized. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/relations1.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/relations2.cc.diff?…

1 0

ppl/tests/Box refine2.cc
by Roberto Bagnara 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-08 14:21:29 Modified files: tests/Box : refine2.cc Log message: Fixed test01(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine2.cc.diff?cvs…

1 0

ppl/tests/Octagonal_Shape incremental1.cc
by Barbara Quartieri 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2007-03-08 14:11:04 Modified files: tests/Octagonal_Shape: incremental1.cc Log message: Truncate random coefficients to 1000. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/increme…

1 0

ppl/src Octagonal_Shape.defs.hh Octagonal_Shap ...
by Barbara Quartieri 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2007-03-08 13:41:54 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh Log message: Unused function removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Octagonal_Shape.defs.hh Octagonal_Shap ...
by Barbara Quartieri 08 Mar '07

08 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2007-03-08 13:39:57 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh Log message: Added a temporary function to count the infinities in the Octagonal_Shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0