September 2008 - PPL-devel - BUGSENG Mailman

ppl/doc definitions.dox
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 10:12:51 Modified files: doc : definitions.dox Log message: Minor improvements to the documentation for simplify_using_context. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Polyhedron.defs.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 10:11:58 Modified files: src : Polyhedron.defs.hh Log message: Minor improvement to the documentation for refine methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/interfaces/C C_interface.dox
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 10:04:21 Modified files: interfaces/C : C_interface.dox Log message: Another few minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.…

1 0

ppl/src Partially_Reduced_Product.templates.hh
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 09:19:18 Modified files: src : Partially_Reduced_Product.templates.hh Log message: When recycling in the product domains, use refine_with_* for the sub-domain that cannot recycle. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product…

1 0

ppl/interfaces/C C_interface.dox
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 09:09:46 Modified files: interfaces/C : C_interface.dox Log message: Added documentation for the refine, constrains and unconstrain functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.…

1 0

ppl src/Partially_Reduced_Product.inlines.hh t ...
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 08:52:37 Modified files: src : Partially_Reduced_Product.inlines.hh tests/Partially_Reduced_Product: directproduct1.cc directproduct2.cc directproduct3.cc directproduct4.cc directproduct5.cc directproduct6.cc partiallyreducedproduct1.cc partiallyreducedproduct2.cc partiallyreducedproduct3.cc partiallyreducedproduct4.cc Log message: Use refine_with_* when adding constraints or congruences to a product. Note that this also applies to the constraints_reduction which needs to share the constraints and congruences. 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/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ…

1 0

ppl/interfaces/C C_interface.dox
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 08:45:39 Modified files: interfaces/C : C_interface.dox Log message: Remove documentation for constructors from generic boudning boxes, which have been replaced by PPL Box instantiations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.…

1 0

ppl src/Grid.defs.hh src/Grid_nonpublic.cc src ...
by Patricia Hill 10 Sep '08

10 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-10 21:56:28 Modified files: src : Grid.defs.hh Grid_nonpublic.cc Grid_public.cc tests/Grid : addconstraint1.cc addconstraints1.cc Log message: Modified methods add_(recycled_)constraint(s) in the Grid domain to reflect what is said in definitions.dox wrt the throwing of exceptions. Modified tests and added tests to check the new exceptions. The *_and_minimize" methods are untouched. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraint1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc…

1 0

ppl/doc README.doc
by Roberto Bagnara 10 Sep '08

10 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-10 17:04:21 Modified files: doc : README.doc Log message: Account for the differences between teTeX and TeX Live. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=p…

1 0

ppl/doc README.doc
by Roberto Bagnara 10 Sep '08

10 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-10 16:38:50 Modified files: doc : README.doc Log message: Numbers fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=p…

1 0