May 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid grid1.cc
by Matthew Mundell 09 May '05

09 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-09 12:32:05 Modified files: tests/Grid : grid1.cc Log message: Add test19 (a generator system with only a line). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0

ppl/tests/Grid congruencesystem1.cc congruence1.cc
by Matthew Mundell 09 May '05

09 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-09 12:31:23 Modified files: tests/Grid : congruencesystem1.cc congruence1.cc Log message: Use C++ style single line comments. Take out some duplicate Variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruencesystem1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruence1.cc.dif…

1 0

ppl/tests print.hh
by Matthew Mundell 09 May '05

09 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-09 12:28:06 Modified files: tests : print.hh Log message: Declare nout and vnout static. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p…

1 0

ppl/src Makefile.am
by Matthew Mundell 09 May '05

09 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-09 12:27:26 Modified files: src : Makefile.am Log message: Add Grid_chdims.cc to libppl_la_SOURCES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src Grid_chdims.cc
by Matthew Mundell 09 May '05

09 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-09 12:26:34 Added files: src : Grid_chdims.cc Log message: Initial revision, with methods add_space_dimensions and add_space_dimensions_and_embed enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc?cvsroot=pp…

1 0

ppl/src Grid_simplify.cc Grid_public.cc Grid.d ...
by Matthew Mundell 09 May '05

09 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-09 12:24:56 Modified files: src : Grid_simplify.cc Grid_public.cc Grid.defs.hh Log message: Add method add_space_dimensions. Change the type of the reduce_equality_with_equality arguments to Congruence. Rename reduce_line_with_parameter to reduce_parameter_with_line. Rename reduce_equality_with_congruence to reduce_congruence_with_equality. Enable the definition of method contains. Update comments. Take out some tracing. Correct the asserts in two of the reduce functions. 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.defs.hh.diff?cvsroot…

1 0

ppl/src Grid_nonpublic.cc
by Matthew Mundell 09 May '05

09 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-09 12:05:48 Modified files: src : Grid_nonpublic.cc Log message: Take out some tracing. Update comments left from Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Congruence_System.defs.hh Congruence_S ...
by Matthew Mundell 09 May '05

09 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-09 12:00:41 Modified files: src : Congruence_System.defs.hh Congruence_System.cc Log message: Take out a line of tracing and the declaration of method insert(const Constraint&). Update a comment. 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/Congruence_System.cc.diff…

1 0

ppl/src Grid_conversion.cc
by Matthew Mundell 06 May '05

06 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-06 11:47:52 Modified files: src : Grid_conversion.cc Log message: Correct method name typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

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

06 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-06 11:39:22 Modified files: tests/Grid : grid3.cc Log message: Use A instead of C in test1. Add test2, test3 and test4, which test intersection_assign_and_minimize, join_assign and join_assign_and_minimize. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr…

1 0