November 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid congruencesystem1.cc
by Matthew Mundell 18 Nov '05

18 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-18 12:40:25 Modified files: tests/Grid : congruencesystem1.cc Log message: Neaten formatting. Take out list of methods that could be tested. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruencesystem1.…

1 0

ppl/tests/BD_Shape Makefile.am run_tests
by Enea Zaffanella 18 Nov '05

18 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-18 09:16:42 Modified files: tests/BD_Shape : Makefile.am run_tests Log message: Let BD_Shape<mpq> be the first one to be tested. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/run_tests.diff…

1 0

ppl/tests/Grid foldspacedims1.cc
by Matthew Mundell 17 Nov '05

17 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-17 15:35:56 Modified files: tests/Grid : foldspacedims1.cc Log message: Correct two comments. Add test11, in which a relational grid becomes a grid that is smaller than universe. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/foldspacedims1.cc.…

1 0

ppl/src Float.inlines.hh checked_ext.inlines.h ...
by Abramo Bagnara 17 Nov '05

17 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-11-17 15:20:52 Modified files: src : Float.inlines.hh checked_ext.inlines.hh checked_float.inlines.hh checked_mpz.inlines.hh Log message: Removed traling whitespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/tests/Grid congruencesystem2.cc
by Matthew Mundell 17 Nov '05

17 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-17 14:14:58 Modified files: tests/Grid : congruencesystem2.cc Log message: Add a local namespace. Fit fulfils to satisfies_all_congruence. Take out the closure point tests. Add tests where the divisor is greater than one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruencesystem2.…

1 0

ppl/tests/Grid congruence1.cc
by Matthew Mundell 17 Nov '05

17 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-17 13:33:32 Modified files: tests/Grid : congruence1.cc Log message: Resolve a query (the two grids should be equal). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruence1.cc.dif…

1 0

ppl/tests/Grid addspacedims2.cc
by Matthew Mundell 17 Nov '05

17 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-17 13:19:07 Modified files: tests/Grid : addspacedims2.cc Log message: Take out two simple queries. Use equalities where possible to create the test5 known congruence system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addspacedims2.cc.d…

1 0

ppl/src scalar_products.cc
by Matthew Mundell 17 Nov '05

17 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-17 12:58:50 Modified files: src : scalar_products.cc Log message: Clean a reduced_scalar_product_assign comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.cc.diff?c…

1 0

ppl/src Grid_Certificate.cc
by Matthew Mundell 17 Nov '05

17 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-17 12:51:47 Modified files: src : Grid_Certificate.cc Log message: Format returns consistently. Quote variables consistently in comments. Resign to creating a temporary certificate in compare(gr). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.cc.diff?…

1 0

ppl/src scalar_products.defs.hh
by Matthew Mundell 17 Nov '05

17 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-17 12:15:23 Modified files: src : scalar_products.defs.hh Log message: Keep homogeneous_scalar_product_sign, which is used in method `bounds'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.defs.hh.d…

1 0