May 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid join1.cc
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 20:50:13 Modified files: tests/Grid : join1.cc Log message: Add test2 and test3 which join with both and one grids universe. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc.diff?cvsr…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 20:30:35 Modified files: src : Grid_public.cc Log message: Rename adjust_space_dimension to increase_space_dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Congruence_System.inlines.hh Congruenc ...
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 20:30:04 Modified files: src : Congruence_System.inlines.hh Congruence_System.defs.hh Congruence_System.cc Log message: Rename adjust_space_dimension to increase_space_dimension, and num_non_equalities to num_proper_congruences. Only count proper congruences in num_proper_congruences. Take out method saturates_all_congruences. Make the member access permissions more sensible. Enable the definition of zero_dim_empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.inlines… 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_simplify.cc Grid_conversion.cc Co ...
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 20:24:49 Modified files: src : Grid_simplify.cc Grid_conversion.cc Congruence.inlines.hh Congruence.defs.hh Log message: Make the Congruence normalize methods protected and flag setting methods private. In Congruence rename is_congruence to is_proper_congruence, and add method zero_dim_false. 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_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl/tests/Grid congruencesystem2.cc congruence ...
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 20:20:56 Modified files: tests/Grid : congruencesystem2.cc congruencesystem1.cc congruence1.cc Log message: Wrap the class under test, instead of requiring all methods to be public. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruencesystem2.… 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/Grid addcongruence1.cc
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 17:01:37 Modified files: tests/Grid : addcongruence1.cc Log message: Add test2, which adds to an empty grid. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruence1.cc.…

1 0

ppl/tests/Grid addgenerator1.cc
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 17:01:05 Modified files: tests/Grid : addgenerator1.cc Log message: Add test7, which adds a generator to a universe grid. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerator1.cc.d…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 17:00:15 Modified files: src : Grid_simplify.cc Log message: Improve a variable name, and a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_public.cc Grid.defs.hh
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 16:58:40 Modified files: src : Grid_public.cc Grid.defs.hh Log message: Restore the declaration of add_congruence(c), and add a new declaration for add_congruences_and_minimize(cs). Take out the add_congruence_and_minimize(cs) declaration. Improve the ordering of the public definitions. Define add_congruence(c) and add_congruence_and_minimize(c). Patches: 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 Congruence_System.inlines.hh Congruenc ...
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 16:52:05 Modified files: src : Congruence_System.inlines.hh Congruence_System.defs.hh Congruence_System.cc Log message: Call num_columns later in adjust_space_dimension. Add insert(c). Take out an old constraint comment. Take out pending row code, old constraint_system code, and method satisfies_all_congruences(g,ref). Clean up ascii_dump and some of ascii_load. Correct the names in the Congruence_System(c) declaration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.inlines… 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