January 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid pointed1.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:25:45 Modified files: tests/Grid : pointed1.cc Log message: Add a minimal congruence system case to test5. Add test11 where minimizing the congruence system finds the grid empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/pointed1.cc.diff?c…

1 0

ppl/tests/Grid congruence1.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:23:49 Modified files: tests/Grid : congruence1.cc Log message: Add space dimension exception test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruence1.cc.dif…

1 0

ppl/tests/Grid bounded1.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:23:29 Modified files: tests/Grid : bounded1.cc Log message: Add test13, where a paramter comes first in the system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounded1.cc.diff?c…

1 0

ppl/tests/Grid addgenerator1.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:22:19 Modified files: tests/Grid : addgenerator1.cc Log message: Add zero dimension and space dimension exception tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerator1.cc.d…

1 0

ppl/tests/Grid Makefile.am outputoperator1.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:21:29 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : outputoperator1.cc asciidumpload1.cc Log message: Add asciidumpload1 and outputoperator1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/outputoperator1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload1.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Grid_simplify.cc Grid_public.cc Grid_n ...
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 14:50:36 Modified files: src : Grid_simplify.cc Grid_public.cc Grid_nonpublic.cc Grid_conversion.cc Grid_Generator_System.inlines.hh Grid_Generator_System.defs.hh Grid_Generator.inlines.hh Grid_Generator.defs.hh Grid_Certificate.cc Grid.templates.hh Log message: Rename Grid_Generator::set_is_parameter to Grid_Generator::set_is_parameter_or_point. Rename Grid_Generator_System methods: num_rows to num_generators, num_rays to num_parameters. Correct a typo in the Grid_Generator class doc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… 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_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.inl… 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/Grid_Generator.inlines.hh… 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_Certificate.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv…

1 0

ppl/src Grid.inlines.hh
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 14:43:46 Modified files: src : Grid.inlines.hh Log message: Drop the extra topological_closure_assign and difference_assign PPL namespace qualifiers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/src Grid.defs.hh
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 14:43:15 Modified files: src : Grid.defs.hh Log message: Drop the extra rows_are_zero Grid namespace qualifier. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/doc devref.doxyconf-latex.in
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 14:42:39 Modified files: doc : devref.doxyconf-latex.in Log message: Clip trailing whitespace. Add grid-related files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.…

1 0

ppl/doc devref.doxyconf-html.in
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 14:41:39 Modified files: doc : devref.doxyconf-html.in Log message: Add missing Grid files to INPUT. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0