October 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid Makefile.am partition1.cc
by Roberto Bagnara 04 Oct '06

04 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-04 20:39:53 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : partition1.cc Log message: Proof-of-concept implementation of the generalization to grids of the partition algorithm in [Srivastava93]. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partition1.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

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

04 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-04 16:01:56 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh MIP_Problem.inlines.hh MIP_Problem.templates.hh Log message: Check in method OK() that the solution, if found, satisfies the Variables_Set that encodes all the Variables constrained to be integer. Added a new member to the class for that purpose. 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 src/Octagonal_Shape.templates.hh tests/Oct ...
by Barbara Quartieri 04 Oct '06

04 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-10-04 13:04:28 Modified files: src : Octagonal_Shape.templates.hh tests/Octagonal_Shape: disjoint1.cc Log message: Improved the method is_disjoint_from() and added a new test on it. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/disjoin…

1 0

ppl/src MIP_Problem.cc
by Andrea Cimino 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-03 20:02:21 Modified files: src : MIP_Problem.cc Log message: Some missing parentheses added. 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 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-03 19:50:35 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh Log message: Fixed some typos. Used more appropriate variable names. 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/src MIP_Problem.cc MIP_Problem.defs.hh
by Andrea Cimino 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-03 19:24:35 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh Log message: Comments revised. Variable type and name changed. 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/src MIP_Problem.cc
by Andrea Cimino 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-03 17:33:49 Modified files: src : MIP_Problem.cc Log message: Moved a couple of variable declarations in the right place. 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 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-03 17:29:31 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh Log message: Fixed a bug in solve_mip(): if MAXIMIZATION was requested, the `branch and bound' tree was cut too early, loosing optimal solutions. Slightly modified solve_mip() interface to allow to print some debugging information if requested. 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/src BD_Shape.inlines.hh BD_Shape.templates.hh
by Elena Mazzi 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-03 16:16:03 Modified files: src : BD_Shape.inlines.hh BD_Shape.templates.hh Log message: No longer inlined the following functions: - BD_Shape::affine_dimension(); - BD_Shape::forget_all_dbm_constraints(v); - BD_Shape::forget_binary_dbm_constraints(v). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 03 Oct '06

03 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-03 15:47:47 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code ppl_interface_generator_predicate_check_pl.m4 Log message: Some improvements. Commented code in ppl_interface_generator_predicate_check_code.m4 shows a bug in the main m4 replacement code for friend classes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0