November 2005 - PPL-devel - BUGSENG Mailman

ppl/src GMP_Integer.defs.hh GMP_Integer.inlines.hh
by Roberto Bagnara 18 Nov '05

18 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-18 22:22:55 Modified files: src : GMP_Integer.defs.hh GMP_Integer.inlines.hh Log message: Defined overloaded raw_value() functions that are the identity functions on mpq_class& and const mpq_class&, respectively. This avoids surprises when raw_value() is applied to an mpq_class object. The problem is caused by the C++ interface of GMP, which defines an implicit constructor for mpz_class from an object of type mpq_class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.di…

1 0

ppl/tests/BD_Shape affineimage8.cc affineimage ...
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 20:56:57 Modified files: tests/BD_Shape : affineimage8.cc affineimage9.cc affinepreimage5.cc generalizedaffineimage13.cc Log message: The expected results modified accoring to the new precision expected from method affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage8.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage9.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/src BD_Shape.inlines.hh
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 20:55:38 Modified files: src : BD_Shape.inlines.hh Log message: The precision of affine_image() improved further. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src Grid_chdims.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 17:31:53 Modified files: src : Grid_chdims.cc Log message: In concatenate_assign improve some comments and split an assert into two. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

ppl/tests/Grid concatenate1.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 17:30:32 Modified files: tests/Grid : concatenate1.cc Log message: Define tests in a local namespace. Add a test where the second grid is empty. Add tests for zero dimension grids and grids that are empty due to the congruence system. In all tests call find_variation only on the grid under test and only after concatenating. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/concatenate1.cc.di…

1 0

ppl/src Congruence_System.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 14:53:30 Modified files: src : Congruence_System.cc Log message: Add an extra loop to satisfies_all_congruences so that the scalar product is multiplied by the divisor only as required. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl tests/Grid/removespacedims1.cc src/Grid_ch ...
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 14:28:30 Modified files: tests/Grid : removespacedims1.cc src : Grid_chdims.cc Log message: Add test6 (where the variable set includes the first dim) and test7 (where the result contains an all-zero parameter). Define the tests within a local namespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

ppl/tests/Grid grid1.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 13:30:20 Modified files: tests/Grid : grid1.cc Log message: Reduce the number of known_gr congruences in test15. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0

ppl/tests/Grid removespacedims1.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 13:03:32 Modified files: tests/Grid : removespacedims1.cc Log message: Enable test4. Rename test1 test5. Add a simple test as test1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims1.c…

1 0

ppl/tests/Grid intersection2.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:46:14 Modified files: tests/Grid : intersection2.cc Log message: Modify test7 slightly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/intersection2.cc.d…

1 0