October 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid Makefile.am directproduct1.cc d ...
by Patricia Hill 15 Oct '07

15 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-15 15:38:59 Modified files: tests/Grid : Makefile.am directproduct1.cc directproduct2.cc Added files: tests/Grid : directproduct3.cc directproduct4.cc directproduct5.cc directproduct6.cc Log message: directproduct1.c split into 4 files directproduct2.cc now named directproduct5.cc directproduct6.cc is some additional tests.. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct5.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct2.cc.…

1 0

ppl/src Direct_Product.defs.hh Direct_Product. ...
by Patricia Hill 15 Oct '07

15 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-15 15:36:34 Modified files: src : Direct_Product.defs.hh Direct_Product.inlines.hh Log message: Added a short description of a direct product. Modified the code for constraints(), congruences() so as to return all the constraints or congruences in the components. Similarly for minimized_constraints() and the recycled versions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh…

1 0

ppl/src Term.defs.hh
by Roberto Bagnara 15 Oct '07

15 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Branch: polynomials Changes by: bagnara(a)cs.unipr.it 2007-10-15 14:11:21 Modified files: src : Term.defs.hh Log message: `Checked_Exponent_Type_Policy' now sets `has_nan' to false. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Term.defs.hh.diff?cvsroot…

1 0

ppl/tests/Grid congruence1.cc
by Patricia Hill 15 Oct '07

15 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-15 12:47:02 Modified files: tests/Grid : congruence1.cc Log message: Added tests for == and != for congruences when they have not been normalised or strongly normalised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruence1.cc.dif…

1 0

ppl/src Congruence_System.defs.hh
by Patricia Hill 15 Oct '07

15 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-15 12:45:11 Modified files: src : Congruence_System.defs.hh Log message: Removed operator==(const Congruence_System& x, const Congruence_System& y); Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh…

1 0

ppl/src Term.cc
by Enea Zaffanella 15 Oct '07

15 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Branch: polynomials Changes by: zaffanella(a)cs.unipr.it 2007-10-15 09:59:53 Modified files: src : Term.cc Log message: Reimplemented method Term::shift_space_dimensions(const Variables_Set&) so as to use a single loop instead of two. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Term.cc.diff?cvsroot=ppl&…

1 0

ppl/src Polynomial_Space.templates.hh
by Enea Zaffanella 15 Oct '07

15 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Branch: polynomials Changes by: zaffanella(a)cs.unipr.it 2007-10-15 09:58:13 Modified files: src : Polynomial_Space.templates.hh Log message: Prefer const_iterator to iterator when accessing a Variables_Set. When creating a Variables_Set, prefer adding a variable index instead of a proper Variable, if it is known that the index is less than the maximum allowed space dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Space.template…

1 0

ppl/src Polynomial.cc
by Enea Zaffanella 15 Oct '07

15 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Branch: polynomials Changes by: zaffanella(a)cs.unipr.it 2007-10-15 09:51:41 Modified files: src : Polynomial.cc Log message: Fixed a typo in a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial.cc.diff?cvsroo…

1 0

ppl/src Monomial.cc Monomial.defs.hh Monomial. ...
by Roberto Bagnara 14 Oct '07

14 Oct '07

1 0

ppl/Watchdog/src Watchdog.defs.hh
by Roberto Bagnara 14 Oct '07

14 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-14 14:28:41 Modified files: Watchdog/src : Watchdog.defs.hh Log message: Non-standard qualification removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Watchdog.defs.hh…

1 0