October 2005 - PPL-devel - BUGSENG Mailman

ppl tests/Grid/coveringbox1.cc tests/Grid/affi ...
by Matthew Mundell 25 Oct '05

25 Oct '05

1 0

ppl ./configure.ac doc/Makefile.am src/Checked ...
by Matthew Mundell 25 Oct '05

25 Oct '05

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 25 Oct '05

25 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-25 10:54:55 Modified files: src : BD_Shape.inlines.hh Log message: Forgot to close namespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh
by Enea Zaffanella 25 Oct '05

25 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-25 10:09:56 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Log message: Added a new function extract_bounded_difference() to factorize repeated code for decoding a constraint. A lot of repeated code also factorized in method relation_with(). Added a private method BD_Shape<T>::get_limiting_constraints() to be used in the implementations of limited widening operators. Prefer assign() to the direct assignment operator when assigning zero. Removed a couple of improper usages of the Coefficient_traits template. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...
by Roberto Bagnara 24 Oct '05

24 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-24 19:00:26 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : affinedimension1.cc Log message: Added a first implementation of new method dimension_type BD_Shape<T>::affine_dimension() const. The new program affinedimension1.cc containts some tests for it. (Joint work with Elena Mazzi.) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinedimensio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh D ...
by Enea Zaffanella 24 Oct '05

24 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-24 14:29:38 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh DB_Matrix.defs.hh DB_Matrix.inlines.hh DB_Row.inlines.hh checked.defs.hh Log message: Removed a lot of commented out stuff from DB_Row.inlines.hh. When creating DB_Row and DB_Matrix objects, the coefficients are now initialized to the value PLUS_INFINITY. DB_Matrix no longer has unused (and unimplemented) methods space_dimensions() and add_rows_and_columns(). BD_Shape no longer needs the method init(). In the BD_Shape implementation, added a couple of utility function that help in factoring common code. In methods adding space dimensions, take into accoount that the newly added coefficients are already initialized to PLUS_INFINITY. Added a lot of missing const qualifications. The shortest_path_reduction_assign() method has been almost reimplemented from scratch: it should now be easier to move towards an implementation where shortest-path closure is not compromised by reduction. Several comments improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr…

1 0

ppl/src DB_Row.defs.hh
by Enea Zaffanella 24 Oct '05

24 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-24 14:16:44 Modified files: src : DB_Row.defs.hh Log message: Some comments reworded. An unused preprocessor variable removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.defs.hh.diff?cvsro…

1 0

ppl src/globals.types.hh src/Constraint_System ...
by Enea Zaffanella 24 Oct '05

24 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-24 14:15:17 Modified files: src : globals.types.hh Constraint_System.defs.hh simplex.cc tests/Polyhedron: primalsimplex1.cc primalsimplex2.cc interfaces/C : ppl_c.cc Log message: Using a new enumerated type Optimization_Kind to specify whether the primal simplex algorithm should maximize or minimize the object function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.types.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/primalsimple… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/primalsimple… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl configure.ac
by Matthew Mundell 24 Oct '05

24 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-10-24 12:39:34 Modified files: . : configure.ac Log message: Set text_md5sum, to complete last change. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl configure.ac
by Matthew Mundell 24 Oct '05

24 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-10-24 11:30:58 Modified files: . : configure.ac Log message: Take out the attempt at checking for an md5sum -t option. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0