November 2007 - PPL-devel - BUGSENG Mailman

ppl src/Partially_Reduced_Product.defs.hh src/ ...
by Patricia Hill 05 Nov '07

05 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-05 11:42:31 Modified files: src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Polyhedron.defs.hh Polyhedron_public.cc tests/Grid : directproduct4.cc Log message: Revised the methods generalized_affine_image() so as to allow for a modulus as the fourth argument. Note that for the Polyhedron domains the modulus is ignored and the transformation is treated as if it was 0 (equality). Enabled the tests in directproduct4.cc that test this. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.…

1 0

ppl src/C_Polyhedron.defs.hh src/C_Polyhedron. ...
by Roberto Bagnara 05 Nov '07

05 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-05 11:12:16 Modified files: src : C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh tests/Grid : partiallyreducedproduct1.cc Log message: Removed C_Polyhedron::C_Polyhedron(const Grid_Generator_System&), NNC_Polyhedron::NNC_Polyhedron(const Grid_Generator_System&) and similar constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpr…

1 0

ppl src/Partially_Reduced_Product.inlines.hh t ...
by Patricia Hill 05 Nov '07

05 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-05 09:01:03 Modified files: src : Partially_Reduced_Product.inlines.hh tests : print.hh tests/Grid : Makefile.am directproduct1.cc directproduct2.cc directproduct3.cc directproduct4.cc directproduct5.cc directproduct6.cc Removed files: tests/Grid : directproduct7.cc Log message: Completely revised the test files directproduct?.cc In tests/print.hh, added to the print options for the tests: print_constraints(const Parma_Polyhedra_Library::Partially_Reduced_Product<D1, D2, R>& pd, print_congruences(const Parma_Polyhedra_Library::Partially_Reduced_Product<D1, D2, R>& pd, Corrected the implementation of strictly_contains() for Partially_Reduced_Product domains. 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/tests/print.hh.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct5.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct7.cc.…

1 0

ppl src/Partially_Reduced_Product.inlines.hh s ...
by Patricia Hill 03 Nov '07

03 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-03 08:38:55 Modified files: src : Partially_Reduced_Product.inlines.hh globals.defs.hh tests/Grid : Makefile.am asciidumpload7.cc partiallyreducedproduct1.cc Log message: Added code for ascii_dump() for Partially_Reduced_Product class. 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/globals.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… 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/Grid/partiallyreducedpr…

1 0

ppl/src OR_Matrix.defs.hh
by Roberto Bagnara 02 Nov '07

02 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-02 19:38:42 Modified files: src : OR_Matrix.defs.hh Log message: FIXME resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.defs.hh.diff?cv…

1 0

ppl/src Partially_Reduced_Product.templates.hh
by Roberto Bagnara 02 Nov '07

02 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-02 19:03:49 Modified files: src : Partially_Reduced_Product.templates.hh Log message: Comments revised so as to adhere to our standards. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product…

1 0

ppl/src Partially_Reduced_Product.templates.hh
by Roberto Bagnara 02 Nov '07

02 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-02 19:01:11 Modified files: src : Partially_Reduced_Product.templates.hh Log message: Simplified the logic of Smash_Reduction<D1, D2>::product_reduce() so as to remove all explicit returns. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product…

1 0

ppl/src Partially_Reduced_Product.defs.hh Part ...
by Patricia Hill 02 Nov '07

02 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-02 16:48:06 Modified files: src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Log message: Revised comments for the product domain. Removed a useless return. 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/src Partially_Reduced_Product.inlines.hh
by Roberto Bagnara 02 Nov '07

02 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-02 16:37:19 Modified files: src : Partially_Reduced_Product.inlines.hh Log message: Do not name unused parameters (this avoids the compiler warnings). Avoid useless returns. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product…

1 0

ppl/src Partially_Reduced_Product.defs.hh
by Patricia Hill 02 Nov '07

02 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-02 16:01:08 Modified files: src : Partially_Reduced_Product.defs.hh Log message: Added comments for the new reduction classes and their methods. Corrected another comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product…

1 0