January 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid certificate1.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 18:06:21 Modified files: tests/Grid : certificate1.cc Log message: Add test7 where the minimized generators are used for the Grid_Certificate construction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/certificate1.cc.di…

1 0

ppl/src Grid_Generator.defs.hh
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 18:04:57 Modified files: src : Grid_Generator.defs.hh Log message: Correct the Grid class friend declaration comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di…

1 0

ppl/src Grid_conversion.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 13:27:00 Modified files: src : Grid_conversion.cc Log message: Update lower_triangular and upper_triangular to check that the diagonal is positive and to correctly check for squareness when there are virtual rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

ppl/tests/Grid widening1.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 11:30:33 Modified files: tests/Grid : widening1.cc Log message: Add exception testing test test16. Add test17 where minimizing the first congruence system finds the grid empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening1.cc.diff?…

1 0

ppl/tests/Grid limitedextrapolation1.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 11:29:30 Modified files: tests/Grid : limitedextrapolation1.cc Log message: Add exception tests. Add test15, which limits with an empty congruence system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolati…

1 0

ppl/src Grid_widenings.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 11:27:36 Modified files: src : Grid_widenings.cc Log message: Correct the exception message in method widening_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv…

1 0

ppl/tests/Grid join3.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 10:03:06 Modified files: tests/Grid : join3.cc Log message: Add test of space dimension exception. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join3.cc.diff?cvsr…

1 0

ppl/tests/Grid join1.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 10:02:52 Modified files: tests/Grid : join1.cc Log message: Add test of space dimension exception. Add test where updating the generators finds the grid empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc.diff?cvsr…

1 0

ppl/tests/Grid griddifference1.cc
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 10:01:33 Modified files: tests/Grid : griddifference1.cc Log message: Update some tests to call difference_assign instead of grid_difference_assign. Add space dimension exception test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/griddifference1.cc…

1 0

ppl/tests/Grid generalizedaffinepreimage2.cc g ...
by Matthew Mundell 30 Jan '06

30 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-30 10:00:38 Modified files: tests/Grid : generalizedaffinepreimage2.cc generalizedaffinepreimage1.cc Log message: Add tests with zero denominator parameters, negative moduli and space dimension exceptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinep… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinep…

1 0