November 2005 - PPL-devel - BUGSENG Mailman

ppl/src DB_Row.inlines.hh
by Enea Zaffanella 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-14 08:31:25 Modified files: src : DB_Row.inlines.hh Log message: In new method DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U& y) using y's public indexing operator [] instead of accessing the private member y.vec_. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.inlines.hh.diff?cv…

1 0

ppl src/BD_Shape.inlines.hh tests/BD_Shape/aff ...
by Enea Zaffanella 13 Nov '05

13 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-13 23:47:09 Modified files: src : BD_Shape.inlines.hh tests/BD_Shape : affineimage8.cc Log message: Further improvement in the coding as well as precision of the general case of affineimage. The known result of affineimage8.cc changed accordingly. Patches: 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/affineimage8.c…

1 0

ppl/src Float.defs.hh
by Roberto Bagnara 13 Nov '05

13 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-13 22:44:54 Modified files: src : Float.defs.hh Log message: Compiler warnings avoided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroo…

1 0

ppl/tests/BD_Shape closure1.cc
by Roberto Bagnara 13 Nov '05

13 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-13 22:38:25 Modified files: tests/BD_Shape : closure1.cc Log message: Completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/closure1.cc.di…

1 0

ppl/src DB_Row.defs.hh DB_Row.inlines.hh
by Roberto Bagnara 13 Nov '05

13 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-13 21:49:38 Modified files: src : DB_Row.defs.hh DB_Row.inlines.hh Log message: New signature and definition of method void DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U& y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.inlines.hh.diff?cv…

1 0

ppl/src globals.defs.hh globals.inlines.hh
by Enea Zaffanella 13 Nov '05

13 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-13 18:26:42 Modified files: src : globals.defs.hh globals.inlines.hh Log message: Removed no longer used function compute_capacity() using a single argument; always use the function also taking the maximum capacity as second argument. Patches: 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 DB_Matrix.defs.hh DB_Matrix.inlines.hh
by Enea Zaffanella 13 Nov '05

13 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-13 18:25:46 Modified files: src : DB_Matrix.defs.hh DB_Matrix.inlines.hh Log message: Using max_num_rows() and max_num_columns() where appropriate. Methods ascii_dump and ascii_load and the destructor should not be virtual. Patches: 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…

1 0

ppl/src Matrix.inlines.hh Matrix.cc
by Enea Zaffanella 13 Nov '05

13 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-13 18:23:50 Modified files: src : Matrix.inlines.hh Matrix.cc Log message: Using max_num_columns() where appropriate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 13 Nov '05

13 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-13 15:29:12 Modified files: src : BD_Shape.inlines.hh Log message: Added a first, tentative implementation of template <typename T> template <typename U> BD_Shape<T>::BD_Shape(const BD_Shape<U>& y). 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
by Roberto Bagnara 13 Nov '05

13 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-13 15:24:50 Modified files: src : BD_Shape.defs.hh Log message: Deckared a new template constructor template <typename U> explicit BD_Shape(const BD_Shape<U>& y): it builds a conservative, upward approximation of `y'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0