September 2008 - PPL-devel - BUGSENG Mailman

ppl/tests/BD_Shape congruences1.cc constraints1.cc
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 15:47:23 Modified files: tests/BD_Shape : congruences1.cc constraints1.cc Log message: Corrected according to hte new semantics of add_constraints/congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/congruences1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/constraints1.c…

1 0

ppl/tests/Partially_Reduced_Product partiallyr ...
by Patricia Hill 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-11 15:31:10 Modified files: tests/Partially_Reduced_Product: partiallyreducedproduct1.cc Log message: Improved a test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ…

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 15:25:58 Modified files: src : BD_Shape.templates.hh Log message: Corrected a couple of bugs in the new add_congruence implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 15:10:10 Modified files: src : BD_Shape.inlines.hh Log message: When converting differently typed BD_Shape objects, for maximum precision, do enforce shortest-path closure of the source bds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/tests/BD_Shape frombdshape1.cc
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 15:08:08 Modified files: tests/BD_Shape : frombdshape1.cc Log message: Avoid exceptions in tests 1--4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frombdshape1.c…

1 0

ppl/tests/Partially_Reduced_Product Makefile.am
by Patricia Hill 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-11 15:01:49 Modified files: tests/Partially_Reduced_Product: Makefile.am Log message: Enable test asciidumpload1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ…

1 0

ppl/tests/BD_Shape frombdshape1.cc
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 15:00:33 Modified files: tests/BD_Shape : frombdshape1.cc Log message: Added a test for the conversion from a bds to a differently typed bds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frombdshape1.c…

1 0

ppl/src Partially_Reduced_Product.inlines.hh P ...
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 14:49:36 Modified files: src : Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh Log message: Also dump/load the reduction Bolean flag. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product…

1 0

ppl/tests/Partially_Reduced_Product asciidumpl ...
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 14:47:57 Modified files: tests/Partially_Reduced_Product: asciidumpload1.cc Log message: When using products, always prefer refine_with_* instead of add_*. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ…

1 0

ppl/tests Partially_Reduced_Product/asciidumpl ...
by Patricia Hill 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-11 14:42:57 Added files: tests/Partially_Reduced_Product: asciidumpload1.cc Removed files: tests/Grid : asciidumpload7.cc Log message: Move test for the product domain into the appropriate directory. Test temporarily disabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload7.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ…

1 0