September 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron Makefile.am
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 09:33:03 Modified files: tests/Polyhedron: Makefile.am Log message: Programs lpproblem2 and lpproblem3 no longer exist. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests/Polyhedron dualhypercubes.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 08:51:23 Modified files: tests/Polyhedron: dualhypercubes.cc Log message: test01() overflows with 32-bit coefficients, but does not with 64-bit ones. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/dualhypercub…

1 0

ppl TODO
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 08:47:07 Modified files: . : TODO Log message: Added an item concerning the covering of the LP_Problem code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.18…

1 0

ppl/tests/Polyhedron Makefile.am lpproblem1.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 08:31:45 Modified files: tests/Polyhedron: Makefile.am lpproblem1.cc Removed files: tests/Polyhedron: lpproblem2.cc lpproblem3.cc Log message: Tests for the LP_Problem class fixed and merged. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/lpproblem1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/lpproblem2.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/lpproblem3.c…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 08 Sep '06

08 Sep '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-09-08 22:08:48 Modified files: htdocs/Download: requirements.raw Log message: Explained that developers need also to have the `pdftops' program installed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl NEWS
by Roberto Bagnara 08 Sep '06

08 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-08 21:48:05 Modified files: . : NEWS Log message: Added some items, not to forget them. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.19…

1 0

ppl/src LP_Problem.cc
by Enea Zaffanella 08 Sep '06

08 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-08 21:47:55 Modified files: src : LP_Problem.cc Log message: Avoid calling num_columns() on input_cs and pending_input_cs, since these constraint systems may be NNC and therefore have an extra column for the epsilon coefficient. Do call space_dimension(), instead, taking care of the offset. Adjusted some badly indented lines; adjusted some bad line breaks. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl configure.ac
by Roberto Bagnara 08 Sep '06

08 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-08 21:46:38 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests/Octagon frompolyhedron1.cc relatwith ...
by Roberto Bagnara 08 Sep '06

08 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-08 21:35:43 Modified files: tests/Octagon : frompolyhedron1.cc relatwithcons1.cc Log message: Two tests are (correctly) failing with 8-bit coefficients, provided assertions are enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/frompolyhedron1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relatwithcons1.…

1 0

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

08 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-08 20:59:35 Modified files: src : LP_Problem.cc Log message: Temporarily set PPL_SIMPLEX_USE_STEEPEST_EDGE_FLOATING_POINT to 0. This is to avoid trying to the expression fabs(raw_value(cost_j).get_d()), which only makes sense with GMP integer coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0