March 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron bgp99extrapolation1.cc
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 09:52:57 Modified files: tests/Polyhedron: bgp99extrapolation1.cc Log message: Correctly handling with failing coefficient configurations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bgp99extrapo…

1 0

ppl/tests/Polyhedron constraints1.cc Makefile. ...
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 09:47:51 Modified files: tests/Polyhedron: constraints1.cc Makefile.am Removed files: tests/Polyhedron: constraints2.cc constraints3.cc constraints4.cc constraints5.cc Log message: Translated constraints*.cc according to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constraints1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constraints2… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constraints3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constraints4… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constraints5…

1 0

ppl/tests/Polyhedron Makefile.am
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 09:45:45 Modified files: tests/Polyhedron: Makefile.am Log message: Adapted for changes to bounds*.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests/Polyhedron bounds1.cc congruences1.c ...
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 09:43:29 Modified files: tests/Polyhedron: bounds1.cc congruences1.cc Removed files: tests/Polyhedron: bounds2.cc Log message: Adapted to new standards for tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bounds1.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/congruences1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bounds2.cc.d…

1 0

ppl/tests/Polyhedron nncminimize1.cc
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 09:38:23 Modified files: tests/Polyhedron: nncminimize1.cc Log message: Using new macros for handling with failing coefficent configurations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/nncminimize1…

1 0

ppl/tests/Polyhedron Makefile.am cnncconversio ...
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 09:36:25 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: cnncconversion1.cc Removed files: tests/Polyhedron: CbecomesNNC1.cc NNCbecomesC1.cc Log message: Tests CbecomesNNC1 and NNCbecomesC1 translated according to new standards. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/cnncconversi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/CbecomesNNC1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/NNCbecomesC1…

1 0

ppl/tests/Polyhedron boundingbox1.cc boundingb ...
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 09:30:58 Modified files: tests/Polyhedron: boundingbox1.cc boundingbox2.cc boundingbox3.cc Log message: Removed useless parentheses in return statement. Moved test descriptions in front of the tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox2… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox3…

1 0

ppl/tests ppl_test.hh
by Enea Zaffanella 01 Mar '06

01 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-01 09:21:34 Modified files: tests : ppl_test.hh Log message: Corrected macro NEW_TEST_F* to correctly deal with failing tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0