January 2006 - PPL-devel - BUGSENG Mailman

ppl/src Congruence.cc
by Matthew Mundell 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-22 21:34:53 Modified files: src : Congruence.cc Log message: Update operator<< to use Coefficient_zero() for zero. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/src Constraint.cc
by Roberto Bagnara 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-22 17:15:45 Modified files: src : Constraint.cc Log message: Print objects of class Coefficient as such. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-22 15:29:25 Modified files: src : Grid_simplify.cc Log message: Simplify the reduce_line_with_line comment. Clean up a few comments the other reduce_x_with_x methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 22 Jan '06

22 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-22 13:29:01 Modified files: src : Grid_simplify.cc Log message: Update reduce_line_with_line and reduce_equality_with_equality to set the column'th element of row directly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 21 Jan '06

21 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-21 20:49:22 Modified files: src : Grid_simplify.cc Log message: Take out of reduce_parameter_with_line a query about an existing improvement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 21 Jan '06

21 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-21 20:45:07 Modified files: src : Grid_simplify.cc Log message: Update reduce_equality_with_equality and reduce_line_with_line to account for columns that are known to be zero. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid.defs.hh
by Matthew Mundell 21 Jan '06

21 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-21 20:33:53 Modified files: src : Grid.defs.hh Log message: Improve the description of the col parameter in some of the reduction methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Grid.defs.hh
by Matthew Mundell 21 Jan '06

21 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-21 19:50:57 Modified files: src : Grid.defs.hh Log message: Improve the description of reduce_line_with_line a little. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Grid_simplify.cc Grid.defs.hh
by Matthew Mundell 21 Jan '06

21 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-21 19:39:32 Modified files: src : Grid_simplify.cc Grid.defs.hh Log message: Update reduce_pc_with_pc to take arguments `start' and `end' instead of using a `parameters' argument to calculate the start and end of the relevant portions of the rows. 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 Congruence_System.cc
by Matthew Mundell 21 Jan '06

21 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-21 19:29:36 Modified files: src : Congruence_System.cc Log message: Improve a comment in normalize_moduli. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0