February 2008 - PPL-devel - BUGSENG Mailman

ppl src/Box.defs.hh src/Box.templates.hh tests ...
by Patricia Hill 14 Feb '08

14 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-14 12:13:40 Modified files: src : Box.defs.hh Box.templates.hh tests/Box : Makefile.am relations2.cc Added files: tests/Box : relations3.cc Log message: Completed implementation for relation_with(Constraint) for a Box when the constraint is not an interval constraint. Tests added for this case. The implementation is split between a private method that finds the relation between an interval and a one dimensional constraint and the public method for any box and any constraint. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/relations3.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/relations2.cc.diff?…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Roberto Bagnara 14 Feb '08

14 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-14 10:20:40 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 ppl_java_common.hh Log message: template <typename U, typename V> U jtype_to_unsigned(const V&) was unnecessarily complex and generated an annoying warning: fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 13 Feb '08

13 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-13 12:46:04 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Spelling corrected. Previous commit change: removed redundant code and simplified code for the disjunct replacement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl interfaces/ppl_interface_generator_common_ ...
by Patricia Hill 13 Feb '08

13 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-13 12:40:21 Modified files: interfaces : ppl_interface_generator_common_dat.m4 src : Partially_Reduced_Product.inlines.hh tests/Grid : partiallyreducedproduct4.cc Log message: Fixed the bug indicated by the tests added in the previous commit. Ensure that emptiness is always shared between the components for the Constraints_Product product_reduce(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… 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/tests/Grid Makefile.am partiallyreducedpro ...
by Patricia Hill 13 Feb '08

13 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-13 09:46:32 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : partiallyreducedproduct4.cc Log message: Two tests indicate bugs for Constraints_Product when a component is a box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src C_Integer.hh Makefile.am Row.inlines.h ...
by Roberto Bagnara 13 Feb '08

13 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-13 09:00:33 Modified files: src : C_Integer.hh Makefile.am Row.inlines.hh globals.defs.hh globals.inlines.hh Log message: Header file reorganization consequent to the introduction of math_utilities.*. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Integer.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro… 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/src/globals.inlines.hh.diff?c…

1 0

ppl/src checked.inlines.hh Checked_Number.inli ...
by Roberto Bagnara 13 Feb '08

13 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-13 08:58:25 Modified files: src : checked.inlines.hh Checked_Number.inlines.hh Log message: Redundant memory size inspection functions removed from the Checked namespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src math_utilities.defs.hh math_utilities. ...
by Roberto Bagnara 13 Feb '08

13 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-13 08:56:34 Added files: src : math_utilities.defs.hh math_utilities.inlines.hh Log message: New sources containing some math utility functions previously in globals.*. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/math_utilities.defs.hh?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/math_utilities.inlines.hh…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 12 Feb '08

12 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-12 22:12:14 Modified files: src : Box.templates.hh Log message: Several improvements in Box<Interval>::relation_with(const Constraint&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 12 Feb '08

12 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-12 21:06:58 Modified files: src : Box.templates.hh Log message: Drafted the first part of the code required so that Box<Interval>::relation_with(const Constraint& c) does the right thing whatever is the form of `c'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0