October 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid coveringbox2.cc
by Matthew Mundell 29 Oct '05

29 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-10-29 20:17:57 Modified files: tests/Grid : coveringbox2.cc Log message: Name variables consistently, improve some comments and add test13 (in which an empty grid is defined by congruences). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/coveringbox2.cc.di…

1 0

ppl/tests/Grid boundingbox1.cc
by Matthew Mundell 29 Oct '05

29 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-10-29 20:16:14 Modified files: tests/Grid : boundingbox1.cc Log message: Note that boundingbox2 also tests the constructor under test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox1.cc.di…

1 0

ppl/tests/Grid Makefile.am boundingbox2.cc
by Matthew Mundell 29 Oct '05

29 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-10-29 20:15:21 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : boundingbox2.cc Log message: Add boundingbox2, which tests shrink_bounding_box(Box&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox2.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Grid.inlines.hh Grid.defs.hh
by Matthew Mundell 29 Oct '05

29 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-10-29 20:11:39 Modified files: src : Grid.inlines.hh Grid.defs.hh Log message: Add shrink_bounding_box(Box&). Correct two comments in get_covering_box. Declare method is_topologically_closed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/tests/BD_Shape run_tests
by Roberto Bagnara 29 Oct '05

29 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-29 14:19:15 Modified files: tests/BD_Shape : run_tests Log message: Several improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/run_tests.diff…

1 0

ppl/tests ppl_test.hh
by Roberto Bagnara 29 Oct '05

29 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-29 14:19:02 Modified files: tests : ppl_test.hh Log message: No longer define TBD_Shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/tests/BD_Shape Makefile.am run_tests
by Roberto Bagnara 29 Oct '05

29 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-29 12:18:46 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : run_tests Log message: A first attempt at testing all the instantiations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/run_tests?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh
by Enea Zaffanella 29 Oct '05

29 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-29 09:53:11 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Log message: In the limited widening operators, we now avoid having to decode twice the limiting constraints (joint work with E. Mazzi). In several places, upward loop iteration replaced by a downward one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl TODO
by Patricia Hill 28 Oct '05

28 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: hill(a)cs.unipr.it 2005-10-28 15:41:03 Modified files: . : TODO Log message: Added a list of TODO items for the grids branch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_wi…

1 0

ppl/src Grid.inlines.hh
by Matthew Mundell 28 Oct '05

28 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-10-28 12:38:10 Modified files: src : Grid.inlines.hh Log message: Calculate the proper congruence coefficients in the covering box constructor via the GCD of the divisors, instead of getting the LCM of the divisors (with lcm_assign) and then repeating parts of this LCM calculation. Given that the divisors are known to be positive, this also saves the absolute value calculations that would have been performed in lcm_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0