June 2008 - PPL-devel - BUGSENG Mailman

ppl ./config.rpath m4/lib-link.m4 m4/lib-prefix.m4
by Roberto Bagnara 07 Jun '08

07 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-06-07 07:42:43 Modified files: . : config.rpath m4 : lib-link.m4 lib-prefix.m4 Log message: Updated from Gettext 0.17. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.rpath.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/lib-link.m4.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/lib-prefix.m4.diff?cvsroot…

1 0

ppl configure.ac
by Roberto Bagnara 06 Jun '08

06 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: bagnara(a)cs.unipr.it 2008-06-06 22:33:11 Modified files: . : configure.ac Log message: New configure options: `--with-glpk' checks whether the PPL should use the GLPK MIP solver, if available (the default is not to use it); `--with-glpk-glpssx' allows to specify the path where GLPK's glpssx.h can be found. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src MIP_Problem.cc
by Roberto Bagnara 06 Jun '08

06 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: bagnara(a)cs.unipr.it 2008-06-06 22:14:10 Modified files: src : MIP_Problem.cc Log message: Use the `PPL_USE_GLPK_MIP_SOLVER' symbol instead of `PPL_USE_GLPK'. Define HAVE_GMP before including <glpssx.h> and <glpk.h>, undefining it after these inclusions. The ulset() function does not exist in GLPK 4.28: use xlset() instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl ./.cvsignore ./ChangeLog ./INSTALL ./NEWS ...
by Roberto Bagnara 06 Jun '08

06 Jun '08

1 0

ppl/src MIP_Problem.cc
by Roberto Bagnara 06 Jun '08

06 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: bagnara(a)cs.unipr.it 2008-06-06 16:19:11 Modified files: src : MIP_Problem.cc Log message: Extended the scope of an #ifdef PPL_USE_GLPK. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/src MIP_Problem.cc MIP_Problem.defs.hh
by Andrea Cimino 06 Jun '08

06 Jun '08

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2008-06-06 14:10:24 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh Log message: As an option, now the PPL can use the exact simplex solver of GLPK. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 05 Jun '08

05 Jun '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-06-05 16:55:31 Modified files: htdocs/Documentation: ppl.bib Log message: Added Warren03. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 05 Jun '08

05 Jun '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-06-05 16:40:01 Modified files: htdocs/Documentation: ppl.bib Log message: Added SenS07. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 05 Jun '08

05 Jun '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-06-05 16:19:40 Modified files: htdocs/Documentation: ppl.bib Log message: Added RepsBL06. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 05 Jun '08

05 Jun '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-06-05 16:10:18 Modified files: htdocs/Documentation: ppl.bib Log message: Added SimonK07. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0