September 2005 - PPL-devel - BUGSENG Mailman

ppl/src Constraint.defs.hh Generator.defs.hh s ...
by Roberto Bagnara 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-19 23:03:20 Modified files: src : Constraint.defs.hh Generator.defs.hh scalar_products.defs.hh scalar_products.inlines.hh Log message: Computing the scalar product between a Constraint and a Generator objects no longer requires Polyhedron to be a friend of Constraint and Generator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.inlines.h…

1 0

ppl/src Constraint.defs.hh Constraint_System.d ...
by Roberto Bagnara 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-19 22:20:00 Modified files: src : Constraint.defs.hh Constraint_System.defs.hh Constraint_System.inlines.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_nonpublic.cc Log message: The functionality of Polyhedron::add_low_level_constraints(Constraint_System&) is now provided by Constraint_System::add_low_level_constraints(). Among other things, this reduces the dependency on friend declarations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/src Row.cc
by Roberto Bagnara 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-19 21:40:32 Modified files: src : Row.cc Log message: Chosen the more elegant implementation of Row::normalize() (profiling was inconclusive: they were probably equivalent). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/src Constraint_System.cc Generator_System. ...
by Roberto Bagnara 19 Sep '05

19 Sep '05

1 0

ppl/src Linear_Row.cc
by Roberto Bagnara 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-19 20:55:24 Modified files: src : Linear_Row.cc Log message: Long source line avoided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.cc.diff?cvsroo…

1 0

ppl/src Native_Integer.inlines.hh
by Roberto Bagnara 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-19 20:32:28 Modified files: src : Native_Integer.inlines.hh Log message: Use memory_size_type, not size_t. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh…

1 0

ppl/src Checked_Number.inlines.hh
by Roberto Bagnara 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-19 19:38:47 Modified files: src : Checked_Number.inlines.hh Log message: FIXME dealt with: total_memory_in_bytes() and external_memory_in_bytes() properly implemented for checked numbers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src BD_Shape.defs.hh
by Matthew Mundell 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-19 19:07:55 Modified files: src : BD_Shape.defs.hh Log message: Correct grammar in notes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/src BD_Shape.defs.hh
by Matthew Mundell 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-19 19:06:05 Modified files: src : BD_Shape.defs.hh Log message: Clip trailing whitespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/src checked.cc
by Matthew Mundell 19 Sep '05

19 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-19 18:55:36 Modified files: src : checked.cc Log message: In parse_number1 parse the exponent in the FRACTIONAL case. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=p…

1 0