March 2008 - PPL-devel - BUGSENG Mailman

ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...
by Patricia Hill 18 Mar '08

18 Mar '08

1 0

ppl TODO
by Patricia Hill 18 Mar '08

18 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-18 13:47:35 Modified files: . : TODO Log message: Completed what I can of the documentation for the geometric descriptors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.23…

1 0

ppl TODO
by Patricia Hill 18 Mar '08

18 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-18 12:57:57 Modified files: . : TODO Log message: Added to the draft documentation on geometric descrptors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.23…

1 0

ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...
by Patricia Hill 18 Mar '08

18 Mar '08

1 0

ppl/tests/Box generalizedaffinepreimage1.cc
by Enea Zaffanella 14 Mar '08

14 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-14 09:20:31 Modified files: tests/Box : generalizedaffinepreimage1.cc Log message: test07 definitely fails when using 8-bit coefficients and checking assertions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffinepr…

1 0

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

14 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-14 09:19:08 Modified files: tests : ppl_test.hh Log message: Added macros DO_TEST_F<size><assertions>_MAY_OVERFLOW_IF_INEXACT for all possible bounded coefficient types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/tests ppl_test.hh BD_Shape/max_min2.cc
by Enea Zaffanella 14 Mar '08

14 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-14 08:24:48 Modified files: tests : ppl_test.hh tests/BD_Shape : max_min2.cc Log message: Modified the check_result helper function so as to take as input two _checked_ mpq_class numbers, rather than bare mpq_class. Adapted test10 of max_min2.cc accordingly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/max_min2.cc.di…

1 0

ppl TODO
by Roberto Bagnara 11 Mar '08

11 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-11 08:54:12 Modified files: . : TODO Log message: Added a note on upward and downward approximations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.23…

1 0

ppl/tests/BD_Shape max_min2.cc
by Enea Zaffanella 10 Mar '08

10 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-10 15:49:21 Modified files: tests/BD_Shape : max_min2.cc Log message: Corrected silly initialization error of an mpq_class object from bounded numerator and denumrators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/max_min2.cc.di…

1 0

ppl/tests/BD_Shape max_min2.cc
by Enea Zaffanella 10 Mar '08

10 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-10 12:22:31 Modified files: tests/BD_Shape : max_min2.cc Log message: test10 modified so as to check its result using helper functions computing distances, thereby allowing for approximations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/max_min2.cc.di…

1 0