September 2006 - PPL-devel - BUGSENG Mailman

ppl/src LP_Problem.cc
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 13:50:04 Modified files: src : LP_Problem.cc Log message: Avoid creating temporaries. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src LP_Problem.cc
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 13:42:30 Modified files: src : LP_Problem.cc Log message: Use floating point constants to initialize floatin point values. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src LP_Problem.cc
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 13:30:02 Modified files: src : LP_Problem.cc Log message: Do not assume Coefficient is a GMP integer. Must include <cmath> for fabs(). PPL_SIMPLEX_USE_STEEPEST_EDGE_FLOATING_POINT re-enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src LP_Problem.cc
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 13:20:31 Modified files: src : LP_Problem.cc Log message: Replaced "can't", "don't", "doesn't", "aren't" by "cannot", "do not", "does not" and "are not". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl TODO
by Andrea Cimino 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-09 13:10:22 Modified files: . : TODO Log message: Don't confuse operator with method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.18…

1 0

ppl/tests/BD_Shape frompolyhedron1.cc
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 13:10:03 Modified files: tests/BD_Shape : frompolyhedron1.cc Log message: test01() fails with 8-bit coefficients, but does not fail with 16-bit ones. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frompolyhedron…

1 0

ppl TODO
by Andrea Cimino 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-09 13:07:46 Modified files: . : TODO Log message: Added a couple of items concering PPL::LP_Problem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.18…

1 0

ppl/src Result.defs.hh Result.inlines.hh
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 11:57:34 Modified files: src : Result.defs.hh Result.inlines.hh Log message: Functions Result classify(Result) and bool is_special(Result) documented. Useless inclusion removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result.inlines.hh.diff?cv…

1 0

ppl/src Rounding_Dir.inlines.hh
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 11:52:30 Modified files: src : Rounding_Dir.inlines.hh Log message: Include <cassert>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rounding_Dir.inlines.hh.d…

1 0

ppl/src Result.defs.hh Result.inlines.hh
by Roberto Bagnara 09 Sep '06

09 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-09 11:29:13 Modified files: src : Result.defs.hh Result.inlines.hh Log message: Removed the unused function Result sign(Result). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result.inlines.hh.diff?cv…

1 0