October 2007 - PPL-devel - BUGSENG Mailman

ppl src/Direct_Product.defs.hh src/Direct_Prod ...
by Patricia Hill 16 Oct '07

16 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-16 17:08:12 Modified files: src : Direct_Product.defs.hh Direct_Product.inlines.hh tests/Grid : directproduct7.cc Log message: Added bounded_affine_image() and bounded_affine_preimage() for the direct product domain with some simple tests in directproduct7.cc. Improved a few comments in Direct_Product.defs.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct7.cc.…

1 0

ppl src/Direct_Product.defs.hh src/Direct_Prod ...
by Patricia Hill 16 Oct '07

16 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-16 15:41:41 Modified files: src : Direct_Product.defs.hh Direct_Product.inlines.hh tests/Grid : Makefile.am Added files: tests/Grid : directproduct7.cc Log message: Revised several comments in Direct_Product.defs.hh. Added bounds_from_above/1, bounds_from_below/1, maximize/4 and minimize/4 for direct product domain. Added tests for these in directproduct7.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct7.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Direct_Product.inlines.hh
by Roberto Bagnara 16 Oct '07

16 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-16 12:56:54 Modified files: src : Direct_Product.inlines.hh Log message: Useless copies avoided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh…

1 0

ppl/src Direct_Product.inlines.hh
by Patricia Hill 16 Oct '07

16 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-16 12:51:36 Modified files: src : Direct_Product.inlines.hh Log message: Implementation of constraints(), minimized_constraints(), congruences() and minimized_congruences() improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh…

1 0

ppl src/Direct_Product.defs.hh src/Direct_Prod ...
by Patricia Hill 16 Oct '07

16 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-16 10:09:53 Modified files: src : Direct_Product.defs.hh Direct_Product.inlines.hh tests/Grid : directproduct4.cc Log message: Added affime_*image and versions of generalized_..._*image that are supported by both the grids and polyhedra classes. Tests for these have been enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.…

1 0

ppl src/Direct_Product.inlines.hh tests/Grid/d ...
by Patricia Hill 16 Oct '07

16 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-16 09:34:24 Modified files: src : Direct_Product.inlines.hh tests/Grid : directproduct6.cc Log message: Improved code in previous commit for add_constraints() and constraints() and similar methods with the recycle and minimize options. Similarly for congruences. Testing of these improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc.…

1 0

ppl/src Any_Pointset.defs.hh
by Roberto Bagnara 15 Oct '07

15 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-15 22:34:42 Modified files: src : Any_Pointset.defs.hh Log message: Added the `Box_Pointset' derived class. Provide the constructors from boxes, bounded-difference and octagonal shapes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.defs.hh.diff…

1 0

ppl/src Ask_Tell.defs.hh
by Enea Zaffanella 15 Oct '07

15 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-10-15 19:38:06 Modified files: src : Ask_Tell.defs.hh Log message: Add class Ask_Tell to the C++ interface documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.defs.hh.diff?cvs…

1 0

ppl/src Direct_Product.defs.hh
by Enea Zaffanella 15 Oct '07

15 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-10-15 19:37:24 Modified files: src : Direct_Product.defs.hh Log message: Add class Direct_Product to the C++ interface documentation. Use properly the math environment delimiters in docs. Fix indentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di…

1 0

ppl/src Any_Pointset.defs.hh
by Enea Zaffanella 15 Oct '07

15 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-10-15 19:35:49 Modified files: src : Any_Pointset.defs.hh Log message: Add class Any_Pointset to the C++ interface documentation. Do properly group documented methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.defs.hh.diff…

1 0