November 2005 - PPL-devel - BUGSENG Mailman

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 19 Nov '05

19 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-19 20:30:47 Modified files: src : BD_Shape.inlines.hh Log message: Fixed the definition of stop_points[] in BD_Shape<T>::CC76_extrapolation_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src BD_Shape.inlines.hh DB_Matrix.inlines.hh
by Roberto Bagnara 19 Nov '05

19 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-19 20:15:58 Modified files: src : BD_Shape.inlines.hh DB_Matrix.inlines.hh Log message: Fixed a copy and paste bug in the distance functions. No longer rely on default rounding mode for extended numbers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.inlines.hh.diff…

1 0

ppl/src GMP_Integer.defs.hh GMP_Integer.inlines.hh
by Roberto Bagnara 19 Nov '05

19 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-19 20:14:13 Modified files: src : GMP_Integer.defs.hh GMP_Integer.inlines.hh Log message: Remove overloadings of raw_value() with an mpq_class argument. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.di…

1 0

ppl/tests/BD_Shape affineimage8.cc affineimage9.cc
by Roberto Bagnara 19 Nov '05

19 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-19 20:11:33 Modified files: tests/BD_Shape : affineimage8.cc affineimage9.cc Log message: Fixed ambiguous calls to rectilinear_distance_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage8.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage9.c…

1 0

ppl/tests/BD_Shape Makefile.am
by Roberto Bagnara 19 Nov '05

19 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-19 20:10:51 Modified files: tests/BD_Shape : Makefile.am Log message: XFAIL_TESTS should be empty here. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src Bounding_Box.cc Bounding_Box.inlines.h ...
by Abramo Bagnara 19 Nov '05

19 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-11-19 16:47:25 Modified files: src : Bounding_Box.cc Bounding_Box.inlines.hh Checked_Number.defs.hh Checked_Number.inlines.hh Polyhedron.inlines.hh Log message: Don't permit rounding direction omission when it's relevant. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/tests/BD_Shape run_tests
by Enea Zaffanella 19 Nov '05

19 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-19 11:14:20 Modified files: tests/BD_Shape : run_tests Log message: Temporarily let polydifference7 be an XFAIL test, so as to allow systematic testing of all incarnations of BD_Shape using tinderbox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/run_tests.diff…

1 0

ppl/tests/BD_Shape affineimage8.cc affineimage9.cc
by Enea Zaffanella 19 Nov '05

19 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-19 11:12:54 Modified files: tests/BD_Shape : affineimage8.cc affineimage9.cc Log message: Try to use the distance computation so as to detect when a computed result is ok even if different from the known result (not really sure this one was the intended use of these distance functions). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage8.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage9.c…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 19 Nov '05

19 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-19 10:05:56 Modified files: src : BD_Shape.inlines.hh Log message: Previous change reverted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 18 Nov '05

18 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-18 22:34:24 Modified files: src : BD_Shape.inlines.hh Log message: Removed several useless invocations of raw_value(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0