January 2006 - PPL-devel - BUGSENG Mailman

ppl/src Congruence_System.defs.hh Grid.defs.hh ...
by Patricia Hill 28 Jan '06

28 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-28 22:39:09 Modified files: src : Congruence_System.defs.hh Grid.defs.hh Grid_Generator.defs.hh Grid_Generator_System.defs.hh Polyhedron.defs.hh Log message: Revised documentation so that sample code has `grid_point' and `grid_line' instead of `point' and `line'. Added an example to Grid_defs.hh showing use of a parameter. Revised explanation of affine image and preimage. Corrected some bugs in the explanation of affine image and preimage in Polyhedron.defs.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.def… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/tests/Grid grid2.cc
by Matthew Mundell 28 Jan '06

28 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-28 18:23:34 Modified files: tests/Grid : grid2.cc Log message: Add more zero dimension tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr…

1 0

ppl/tests/Grid timeelapse1.cc intersection1.cc ...
by Matthew Mundell 28 Jan '06

28 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-28 18:22:27 Modified files: tests/Grid : timeelapse1.cc intersection1.cc grid3.cc grid1.cc Log message: Add space dimension exception tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/timeelapse1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/intersection1.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0

ppl/tests/Grid disjoint1.cc
by Matthew Mundell 28 Jan '06

28 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-28 18:21:33 Modified files: tests/Grid : disjoint1.cc Log message: Add space dimension exception tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/disjoint1.cc.diff?…

1 0

ppl/tests/Grid contains1.cc
by Matthew Mundell 28 Jan '06

28 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-28 18:21:09 Modified files: tests/Grid : contains1.cc Log message: Add space dimension exception tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/contains1.cc.diff?…

1 0

ppl/tests/Grid addconstraints1.cc
by Matthew Mundell 28 Jan '06

28 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-28 18:20:48 Modified files: tests/Grid : addconstraints1.cc Log message: Add space dimension exception tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc…

1 0

ppl/tests/Grid addconstraint1.cc
by Matthew Mundell 28 Jan '06

28 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-28 18:20:25 Modified files: tests/Grid : addconstraint1.cc Log message: Add space dimension exception tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraint1.cc.…

1 0

ppl/tests/Grid addcongruences1.cc
by Matthew Mundell 28 Jan '06

28 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-28 18:19:09 Modified files: tests/Grid : addcongruences1.cc Log message: Add space dimension exception tests. Add test8 which adds to an empty grid. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruences1.cc…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 28 Jan '06

28 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-28 18:17:49 Modified files: src : Grid_public.cc Log message: Update add_recycled_congruences_and_minimize and add_recycled_congruences zero dimension grid cases to always leave the empty grid empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/tests/Grid topclosed1.cc
by Matthew Mundell 27 Jan '06

27 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-27 19:26:13 Modified files: tests/Grid : topclosed1.cc Log message: Add test11 where minimizing the congruence system finds the grid empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/topclosed1.cc.diff…

1 0