November 2005 - PPL-devel - BUGSENG Mailman

ppl/src DB_Matrix.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:19:09 Modified files: src : DB_Matrix.inlines.hh Log message: Added a first implementation of template <typename T> template <typename U> DB_Matrix<T>::DB_Matrix(const DB_Matrix& y). Added the inclusion of checked.defs.hh, which is needed to get access to the compute_capacity() functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.inlines.hh.diff…

1 0

ppl/src DB_Matrix.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:16:09 Modified files: src : DB_Matrix.defs.hh Log message: Declared new template constructor template <typename T> template <typename U> explicit DB_Matrix<T>::DB_Matrix(const DB_Matrix& y): it constructs a conservative approximation of `y'. All DB_Matrix classes are now friends of each other. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.defs.hh.diff?cv…

1 0

ppl/src 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 15:13:30 Modified files: src : DB_Row.inlines.hh Log message: Added (not yet operational) skeletons for the implementation of template <typename T> template <typename U> void DB_Row<T>::construct_upward_approximation(const DB_Row& y, dimension_type capacity) and template <typename T> template <typename U> void DB_Row_Impl_Handler::Impl::construct_upward_approximation(const typename DB_Row_Impl_Handler::Impl& y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.inlines.hh.diff?cv…

1 0

ppl/src DB_Row.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:11:14 Modified files: src : DB_Row.defs.hh Log message: Declared new method template <typename T> template <typename U> void DB_Row<T>::construct_upward_approximation(const DB_Row& y, dimension_type capacity). Declared new method template <typename T> template <typename U> void DB_Row_Impl_Handler::Impl::construct_upward_approximation(const typename DB_Row_Impl_Handler::Impl& y). Comments improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.defs.hh.diff?cvsro…

1 0

ppl/tests/BD_Shape addspacedims5.cc addspacedi ...
by Enea Zaffanella 12 Nov '05

12 Nov '05

1 0

ppl/m4 lib-ld.m4 lib-link.m4 lib-prefix.m4
by Roberto Bagnara 12 Nov '05

12 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-12 13:45:44 Modified files: m4 : lib-ld.m4 lib-link.m4 lib-prefix.m4 Log message: Updated from Gettext 0.14.5. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/lib-ld.m4.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/lib-link.m4.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/lib-prefix.m4.diff?cvsroot…

1 0

ppl configure.ac
by Enea Zaffanella 12 Nov '05

12 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-12 13:08:34 Modified files: . : configure.ac Log message: Consistently use uppercase letters to specify (placeholders for) configuration options' arguments. Systematically use AC_HELP_STRING to format help messages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl NEWS CREDITS
by Enea Zaffanella 12 Nov '05

12 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-12 13:06:31 Modified files: . : NEWS CREDITS Log message: Corrected a typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.16… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl README.configure
by Enea Zaffanella 12 Nov '05

12 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-12 13:05:46 Modified files: . : README.configure Log message: Corrected a couple of typos. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl/src Grid_public.cc Grid.inlines.hh
by Matthew Mundell 11 Nov '05

11 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-11 17:29:58 Modified files: src : Grid_public.cc Grid.inlines.hh Log message: Inline method is_empty. In is_empty add more fast-fail tests and minimize only the congruence system in the last-resort test. Patches: 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/src/Grid.inlines.hh.diff?cvsr…

1 0