April 2005 - PPL-devel - BUGSENG Mailman

ppl/src Congruence_System.defs.hh
by Matthew Mundell 26 Apr '05

26 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-26 20:27:51 Modified files: src : Congruence_System.defs.hh Log message: Correct comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh…

1 0

ppl/src Congruence.inlines.hh Congruence.defs.hh
by Matthew Mundell 26 Apr '05

26 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-26 20:26:37 Modified files: src : Congruence.inlines.hh Congruence.defs.hh Log message: Add methods is_virtual and set_is_virtual. Assert that there are elements in methods modulus and set_is_equality. Patches: 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 grid1.cc
by Matthew Mundell 26 Apr '05

26 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-26 11:04:10 Modified files: tests/Grid : grid1.cc Log message: Add test15, which tests reduce_line_with_line. Neaten the generator system definition in test9. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0

ppl/src Grid_simplify.cc Grid.defs.hh
by Matthew Mundell 25 Apr '05

25 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-25 19:35:32 Modified files: src : Grid_simplify.cc Grid.defs.hh Log message: Use strace_dump in the congruence system reduction. The previous log message should have been: Improve comments. Split le_le_reduce into reduce_equality_with_equality and reduce_line_with_line. Improve the names, arguments and variables of all the reduce functions. Also consider the divisor in reduce_line_with_line. Use Coefficient_traits::const_reference in the reduce functions. Correct the assertions. Add and use macro strace_dump and temporary tracing stream strace. 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.defs.hh.diff?cvsroot…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 25 Apr '05

25 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-25 18:58:32 Modified files: src : Grid_public.cc Log message: In add_recycled_congruences_and_minimize use the add_and_minimize return directly, instead of using a variable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 25 Apr '05

25 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-25 18:48:51 Modified files: src : Grid_simplify.cc Log message: In add_recycled_congruences_and_minimize use the add_and_minimize return directly, instead of using a variable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_conversion.cc
by Matthew Mundell 25 Apr '05

25 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-25 18:46:42 Modified files: src : Grid_conversion.cc Log message: Rename the trace stream ctrace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

ppl/src GMP_Integer.defs.hh
by Matthew Mundell 25 Apr '05

25 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-25 18:42:47 Modified files: src : GMP_Integer.defs.hh Log message: Improve comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?…

1 0

ppl/tests/Grid grid2.cc
by Matthew Mundell 25 Apr '05

25 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-25 13:03:27 Modified files: tests/Grid : grid2.cc Log message: Add general tests test11 and test12, which have more and fewer rows than columns, respectively. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr…

1 0

ppl/tests/Grid grid2.cc
by Matthew Mundell 22 Apr '05

22 Apr '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-04-22 11:41:18 Modified files: tests/Grid : grid2.cc Log message: Add general test cong_test4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr…

1 0