May 2006 - PPL-devel - BUGSENG Mailman

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 15 May '06

15 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-15 12:18:15 Modified files: src : Octagonal_Shape.templates.hh Log message: Renamed the iterator on the constraints system to avoid a shadowing problem in Octagonal_Shape<T>::get_limiting_octagon(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Grid grid3.cc
by Matthew Mundell 12 May '06

12 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-12 19:55:46 Modified files: tests/Grid : grid3.cc Log message: Add test20 and test21, which test adding zero dimension systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 12 May '06

12 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-12 19:55:25 Modified files: src : Grid_public.cc Log message: Update Grid(cs) and Grid(ccs) to set the space dimension. Rename ccs to cs in Grid(cs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_nonpublic.cc
by Matthew Mundell 12 May '06

12 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-12 19:55:04 Modified files: src : Grid_nonpublic.cc Log message: Update construct(ccgs) to use the given system when the space dimension is zero. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Makefile.am Direct_Product.defs.hh Dir ...
by Roberto Bagnara 12 May '06

12 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-05-12 16:01:29 Modified files: src : Makefile.am Added files: src : Direct_Product.defs.hh Direct_Product.inlines.hh Direct_Product.types.hh Log message: Started an implementation of the direct product construction for the "semantic" domains. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.types.hh?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src Grid_nonpublic.cc
by Matthew Mundell 12 May '06

12 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-12 15:58:19 Modified files: src : Grid_nonpublic.cc Log message: Convert the runtime exception in normalize_divisors(gs,gs) to an assertion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Grid.defs.hh
by Matthew Mundell 12 May '06

12 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-12 15:56:44 Modified files: src : Grid.defs.hh Log message: Correct parameter indentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Grid.inlines.hh
by Roberto Bagnara 12 May '06

12 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-05-12 15:19:11 Modified files: src : Grid.inlines.hh Log message: Avoid any kind of using declaration in header files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/tests/Grid addgenerators1.cc
by Matthew Mundell 12 May '06

12 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-12 14:37:06 Modified files: tests/Grid : addgenerators1.cc Log message: Correct the print_generators message in test11. Add test12 to test the point-finding loop in Grid::normalize_divisors(gs,gs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerators1.cc.…

1 0

ppl/src Grid.templates.hh
by Matthew Mundell 12 May '06

12 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-12 12:03:39 Modified files: src : Grid.templates.hh Log message: Improve comments in bounding box methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv…

1 0