September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/tests expected_clpq2_int ...
by Enea Zaffanella 19 Sep '08

19 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-19 16:59:53 Modified files: interfaces/Prolog/tests: expected_clpq2_int16 expected_clpq2_int8 expected_pchk_int16 Log message: Fixed expected results for 8 and 16 bit coefficient configurations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/src MIP_Problem.templates.hh
by Enea Zaffanella 19 Sep '08

19 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-19 16:42:45 Modified files: src : MIP_Problem.templates.hh Log message: Fixed another uninitialization error for the pricing method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.templates.hh.…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 19 Sep '08

19 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-19 16:37:49 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 ppl_interface_generator_prolog_cc_files.m4 ppl_interface_generator_prolog_hh_files.m4 Log message: Added debugging macro to indicate if any predicate schematic code is missing. Improved a cooment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl configure.ac
by Roberto Bagnara 19 Sep '08

19 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-19 15:58:47 Modified files: . : configure.ac Log message: Enabled all default instantiations. Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests/MIP_Problem mipproblem3.cc
by Enea Zaffanella 19 Sep '08

19 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-19 15:57:51 Modified files: tests/MIP_Problem: mipproblem3.cc Log message: Use the exact steepest-edge pricing rule on test06: this allows for obtaining deterministic overflow behavior when configured to use 8-bit checked integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem3…

1 0

ppl/interfaces/OCaml Makefile.am ppl_interface ...
by Roberto Bagnara 19 Sep '08

19 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-19 15:43:02 Modified files: interfaces/OCaml: Makefile.am ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_cc_files.m4 ppl_interface_generator_ocaml_hh_code.m4 ppl_interface_generator_ocaml_hh_files.m4 ppl_interface_generator_ocaml_ml.m4 Removed files: interfaces/OCaml: ppl_interface_generator_ocaml_cc.m4 ppl_ocaml_globals.cc Log message: The OCaml interface now supports separate compilation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl…

1 0

ppl/tests/Polyhedron hybrid.cc
by Enea Zaffanella 19 Sep '08

19 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-19 14:46:43 Modified files: tests/Polyhedron: hybrid.cc Log message: No longer using deprecated methods (*_and_minimize). Test 04, which before was known to overflow when using 8 bit coefficients with assertions enabled, now always succeeds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/hybrid.cc.di…

1 0

ppl/src MIP_Problem.inlines.hh
by Enea Zaffanella 19 Sep '08

19 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-19 14:45:22 Modified files: src : MIP_Problem.inlines.hh Log message: Avoid a warning when assertions are disabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.inlines.hh.di…

1 0

ppl configure.ac
by Roberto Bagnara 19 Sep '08

19 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-19 14:31:40 Modified files: . : configure.ac Log message: Added new variables for the OCaml interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/OCaml ppl_ocaml_common.cc ppl_o ...
by Roberto Bagnara 19 Sep '08

19 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-19 14:30:45 Added files: interfaces/OCaml: ppl_ocaml_common.cc ppl_ocaml_common.defs.hh ppl_ocaml_common.inlines.hh Log message: New files implementing the domain-independent part of the OCaml interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_co… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_co… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_co…

1 0