September 2008 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lpsol expected_int16_a expected_ ...
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 13:25:34 Modified files: demos/ppl_lpsol: expected_int16_a expected_int32_a expected_int64_a expected_int8_a Log message: Updated expected results for bounded integers and assertions enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int6… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int8…

1 0

ppl/interfaces/Java ppl_interface_generator_ja ...
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 13:15:13 Modified files: interfaces/Java: ppl_interface_generator_java_procedure_generators.m4 interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 ppl_interface_generator_java_classes_cc_files.m4 interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java.m4 ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common Log message: Added m4 debug code so as to output a message if the definition of a schematic procedure is missing. Added code for several missing methods: add_disjunct widening_assign @EXTRAPOLATION@_extrapolation_assign Corrected a bug in the code for @LIMITEDBOUNDED@_@WIDENEXPN@_extrapolation_assign where the arguments were inconsistently ordered. Added several tests for the widening and extrapolation code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav…

1 0

ppl/demos/ppl_lpsol expected_mpz
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 12:59:19 Modified files: demos/ppl_lpsol: expected_mpz Log message: Expected results for unbounded integers and assertions disabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz.…

1 0

ppl/demos/ppl_lpsol Makefile.am expected_int16 ...
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 12:34:16 Modified files: demos/ppl_lpsol: Makefile.am expected_int16 expected_int32 expected_int64 expected_int8 Log message: Modified the check command so as to solve test problems using a deterministic pricing policy, as to obtain more predictable results across architectures. Updated the expected results for bounded-size coefficient configurations (with assertions disabled). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int6… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int8…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
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 10:33:56 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Added new option -p, controlling the selection of the pricing method for the simplex computation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/interfaces/C ppl_c_header.h ppl_c_implemen ...
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 10:32:46 Modified files: interfaces/C : ppl_c_header.h ppl_c_implementation_common.cc Log message: In the MIP_Problem section of the interface, added values corresponding to the control parameter setting and interfaced the new methods to get/set the control parameters. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_header.h.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa…

1 0

ppl/src MIP_Problem.cc MIP_Problem.defs.hh MIP ...
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 10:30:10 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh MIP_Problem.inlines.hh MIP_Problem.templates.hh Log message: Added public enums Control_Parameter_Name and Control_Parameter_Value: for the time being, the only control parameter name is PRICING for the pricing method, which can be set to three values. Added public methods for getting/setting a control parameter value. Modified the implementation so as to compute the simplex by using the pricing method specified by the control parameter settings. As for implementation, we temporarily use a Control_Parameter_Value variable (named `pricing') to store the singleton control parameter collection. It is planned that this will be replaced by a bitset-based status word encoding, besides possible other control parameters, also the values of `status', `initialized' and `opt_mode'. 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?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.templates.hh.…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
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 10:07:38 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Fixed a bug so as to avoid generating spurious blank lines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces/Java/parma_polyhedra_library pp ...
by Roberto Bagnara 18 Sep '08

18 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-18 21:52:43 Modified files: interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java.m4 Log message: Added missing copyright notices. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed…

1 0

ppl/interfaces/Java/parma_polyhedra_library Ma ...
by Roberto Bagnara 18 Sep '08

18 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-18 21:50:48 Modified files: interfaces/Java/parma_polyhedra_library: Makefile.am Log message: Several kludges removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed…

1 0