[PPL-devel] ppl demos/ppl_lpsol/expected_mpz src/MIP_Probl ...
Roberto Bagnara
bagnara at cs.unipr.it
Thu Sep 13 17:48:18 CEST 2007
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: bagnara at cs.unipr.it 2007-09-13 17:48:18
Modified files:
demos/ppl_lpsol: expected_mpz
src : MIP_Problem.cc
Log message:
FIXME resolved. This also makes the PPL independent from the bug of
mpq_get_d() in GMP 4.1.4.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsroot=ppl&r1=1.57&r2=1.58
More information about the PPL-devel
mailing list