November 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid.defs.hh
by Matthew Mundell 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-14 16:56:15 Modified files: src : Grid.defs.hh Log message: Note the covering box constructor behaviour when the box is empty. Improve the get_covering_box description. Add the set_empty method to the methods required of the box class in the get_covering_box doc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src mp_numeric_limits.hh
by Roberto Bagnara 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-14 16:55:40 Modified files: src : mp_numeric_limits.hh Log message: Fixed numeric_limits<mpz_class>::epsilon() and numeric_limits<mpz_class>::round_error(): they now return 0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_numeric_limits.hh.diff…

1 0

ppl/tests/Grid maxmin1.cc
by Matthew Mundell 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-14 16:47:52 Modified files: tests/Grid : maxmin1.cc Log message: Use check_both in test2. Implement the zero dimension universe test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/maxmin1.cc.diff?cv…

1 0

ppl/tests/Grid coveringbox2.cc
by Matthew Mundell 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-14 16:46:06 Modified files: tests/Grid : coveringbox2.cc Log message: Add an empty fail check to operator==. Update the boxes expected from empty grids. Add zero dimension tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox2.cc.di…

1 0

ppl/tests/Grid boundingbox2.cc
by Matthew Mundell 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-14 16:44:38 Modified files: tests/Grid : boundingbox2.cc Log message: Add an empty fail check to operator==. Add zero dimension tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox2.cc.di…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-14 16:42:31 Modified files: src : Grid_public.cc Log message: In Grid(dims,kind), add_recycled_congruences(cgs) and add_recycled_congruences_and_minimize(cgs) call set_empty instead of setting the empty flag directly. In congruences() adjust the assertion on the number of cols for the modulus and constant term columns. Improve and correct some comments. Neaten the OK zero dimension universe check. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_minimize.cc
by Matthew Mundell 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-14 16:32:44 Modified files: src : Grid_minimize.cc Log message: In both minimize methods assert that there are the minimum required number of columns. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvs…

1 0

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

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-14 16:30:24 Modified files: src : Grid_Certificate.cc Log message: Use gr instead of cgr, for consistency. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.cc.diff?…

1 0

ppl/src Grid_nonpublic.cc Grid.inlines.hh
by Matthew Mundell 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-14 16:29:24 Modified files: src : Grid_nonpublic.cc Grid.inlines.hh Log message: In set_empty make con_sys false. Add a zero dimension universe case to max_min. Take out an old topology comment. In construct(ccgs) insert the integrality congruence when the dimension is greater than zero, and only check for false congruences in dimension zero when there are two or more columns in the given congruence system. In the box constructors and construct(const_gs,bool) call set_empty instead of setting the empty flag directly. In get_covering_box add a zero dimension check and set the box empty when the grid is empty. In shrink_bounding_box add a zero dimension check and take out a redundant check for rows in the generator system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/src Congruence_System.inlines.hh
by Matthew Mundell 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-14 16:08:37 Modified files: src : Congruence_System.inlines.hh Log message: Ensure that the modulus and constant term columns always exist. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.inlines…

1 0