October 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Roberto Bagnara 07 Oct '06

07 Oct '06

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Andrea Cimino 07 Oct '06

07 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-07 18:18:09 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Useless code removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Andrea Cimino 07 Oct '06

07 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-07 18:16:47 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: maybe_check_results() fixed when `no_optimization' flag is enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/src MIP_Problem.defs.hh
by Roberto Bagnara 07 Oct '06

07 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-07 16:09:34 Modified files: src : MIP_Problem.defs.hh Log message: Revised a couple of comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?…

1 0

ppl/src MIP_Problem.cc MIP_Problem.defs.hh
by Andrea Cimino 07 Oct '06

07 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-07 15:47:13 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh Log message: Defined and implemented the method `is_saturated()'. 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

ppl demos/ppl_lpsol/ppl_lpsol.c interfaces/C/p ...
by Andrea Cimino 07 Oct '06

07 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-07 15:15:37 Modified files: demos/ppl_lpsol: ppl_lpsol.c interfaces/C : ppl_interface_generator_c_cc_preamble ppl_interface_generator_c_h_preamble src : MIP_Problem.cc MIP_Problem.defs.hh MIP_Problem.templates.hh Polyhedron_public.cc Log message: ppl_lpsol: restored the old threshold. MIP_Problem: added the new constructor template <typename In> MIP_Problem(dimension_type dim, In first, In last, const Variables_Set& int_vars, const Linear_Expression& obj = Linear_Expression::zero(), Optimization_Mode mode = MAXIMIZATION) Renamed `set_integer_dimensions()' to `add_to_integer_space_dimensions'. Check, if a variables_set is passed to a constructor, if the set does not exceed the space dimension of the MIP Problem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… 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?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.templates.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Andrea Cimino 07 Oct '06

07 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-07 13:00:56 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: The -r option is now compatible with -e. Throw an error if we want to solve a MIP with -e. maybe_check_results() cleaned. Modified the default threshold between GLPK and ppl_lpsol, this to prepare us for the next commit that will change the testsuite. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/tests/LP_Problem mipproblem1.cc
by Roberto Bagnara 06 Oct '06

06 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-06 21:39:00 Modified files: tests/LP_Problem: mipproblem1.cc Log message: Added a FIXME with new problems to write checks for. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/LP_Problem/mipproblem1.…

1 0

ppl/tests/LP_Problem mipproblem2.cc
by Roberto Bagnara 06 Oct '06

06 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-06 20:34:58 Modified files: tests/LP_Problem: mipproblem2.cc Log message: New test added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/LP_Problem/mipproblem2.…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 06 Oct '06

06 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-06 20:33:08 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Spurious blanks removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0