April 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron lpproblem1.cc
by Andrea Cimino 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-04-29 12:15:32 Modified files: tests/Polyhedron: lpproblem1.cc Log message: Fixed the test to match the new expected result. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/lpproblem1.c…

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-04-29 11:11:17 Modified files: src : BD_Shape.templates.hh Log message: Corrected the two bugs in generalized_affine_preimage() shown by test04() and test05() in generalizedaffinepreimage2.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/BD_Shape generalizedaffinepreimage2.cc
by Enea Zaffanella 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-04-29 11:09:59 Modified files: tests/BD_Shape : generalizedaffinepreimage2.cc Log message: test05() shows a bug in BD_Shape::generalized_affine_preimage() that shows up when using GREATER_THAN_OR_EQUAL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/src LP_Problem.cc
by Andrea Cimino 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-04-29 11:04:37 Modified files: src : LP_Problem.cc Log message: Turned on the steepest edge floating point version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src LP_Problem.cc
by Andrea Cimino 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-04-29 10:54:18 Modified files: src : LP_Problem.cc Log message: Removed redundant line. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src LP_Problem.cc
by Andrea Cimino 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-04-29 10:48:03 Modified files: src : LP_Problem.cc Log message: Turn off the steepest-edge floating point version by default. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src LP_Problem.cc
by Andrea Cimino 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-04-29 10:40:25 Modified files: src : LP_Problem.cc Log message: Fixed a bug in the floating point version: remember to initialize the values in the first loop before comparing `current' and `challenger' values. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-04-29 09:41:49 Modified files: src : BD_Shape.templates.hh Log message: In BD_Shape<T>::affine_preimage(), corrected the bug shown by test09() of affinepreimage2.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/BD_Shape affinepreimage2.cc
by Enea Zaffanella 29 Apr '06

29 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-04-29 09:40:41 Modified files: tests/BD_Shape : affinepreimage2.cc Log message: test09() shows a bug in the computation of BD_Shape<T>::affine_preimage() under somehow specific conditions (expression is invertible and on a single variable, denominator is equal to opposite of the coefficient of the variable and the inhomogeneous term is non-zero). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage…

1 0

ppl/tests print.hh ppl_test.hh
by Enea Zaffanella 28 Apr '06

28 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-28 23:34:29 Modified files: tests : print.hh ppl_test.hh Log message: Class template Octagon renamed to Octagonal_Shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0