October 2006 - PPL-devel - BUGSENG Mailman

ppl configure.ac
by Enea Zaffanella 05 Oct '06

05 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-05 15:31:39 Modified files: . : configure.ac Log message: Adjusted to support the building of separate documentations for the library and its foreign language interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/doc Makefile.am devref.doxyconf-html.in de ...
by Enea Zaffanella 05 Oct '06

05 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-05 15:30:52 Modified files: doc : Makefile.am devref.doxyconf-html.in devref.doxyconf-latex.in user.doxyconf-html.in user.doxyconf-latex.in Added files: doc : devref-c-interface.doxyconf-html.in devref-c-interface.doxyconf-latex.in devref-prolog-interface.doxyconf-html.in devref-prolog-interface.doxyconf-latex.in user-c-interface.doxyconf-html.in user-c-interface.doxyconf-latex.in user-prolog-interface.doxyconf-html.in user-prolog-interface.doxyconf-latex.in Log message: The documentation of foreign languages interfaces is now separated from the documentation of the main library. The actual documentation will have to be changed accordingly to reflect this new design choice. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.doxyco… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.doxyco… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.dox… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.dox… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-latex.in.di…

1 0

ppl/src BD_Shape.templates.hh DB_Matrix.defs.h ...
by Elena Mazzi 05 Oct '06

05 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-05 14:57:02 Modified files: src : BD_Shape.templates.hh DB_Matrix.defs.hh DB_Matrix.inlines.hh DB_Matrix.templates.hh DB_Row.defs.hh DB_Row.inlines.hh DB_Row.templates.hh Log message: Added the definitions of methods `memory_size_type total_memory_in_bytes() const' and `memory_size_type external_memory_in_bytes() const' in the following classes: DB_Row, DB_Matrix, BD_Shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.templates.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.templates.hh.diff?…

1 0

ppl src/BD_Shape.templates.hh tests/BD_Shape/d ...
by Elena Mazzi 05 Oct '06

05 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-05 12:19:48 Modified files: src : BD_Shape.templates.hh tests/BD_Shape : disjoint1.cc Log message: Fixed the comment in the method BD_Shape<T>::is_disjoint_from(). Added new tests on this method. Replaced `system/s of bounded differences' with `bounded difference shape/s'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/disjoint1.cc.d…

1 0

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

05 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-05 11:34:39 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh Log message: `recursion_depth' thrown away. 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 05 Oct '06

05 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-05 11:14:53 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh Log message: Comments revised. `recursion_depth' is an unsigned long. 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 MIP ...
by Andrea Cimino 05 Oct '06

05 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-05 10:18:49 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh MIP_Problem.inlines.hh MIP_Problem.templates.hh Log message: The correctness of the solution found, if is involved a non-empty integer Variables_Set, is now proofed without having a special member in the class. Slightly modified is_mip_satisfiable(), solve_mip and choose_branching_variable() intefaces 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 Checked_Number.inlines.hh GMP_Integer. ...
by Roberto Bagnara 05 Oct '06

05 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-05 07:38:08 Modified files: src : Checked_Number.inlines.hh GMP_Integer.defs.hh GMP_Integer.inlines.hh Log message: Added void rem_assign(GMP_Integer&, const GMP_Integer&, const GMP_Integer&). Added void rem_assign(Checked_Number<T, Policy>&, const Checked_Number<T, Policy>&, const Checked_Number<T, Policy>&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.di…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 04 Oct '06

04 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-04 23:12:11 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_pl.m4 ppl_interface_generator_predicate_check_code.m4 Log message: ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4: Redundant code removed, spelling in comment corrected. Prolog/tests/ppl_interface_generator_predicate_check_pl.m4 Prolog/tests/ppl_interface_generator_predicate_check_code.m4: Extra predicate definition added to compensate for missing topology in generated test code. A rather inelegant solution to a problem caused by some code requiring the topology "C_" or "NNC_" attached to "Polyhedron" and some not, depending on the initiating class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… 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

ppl/src MIP_Problem.cc MIP_Problem.defs.hh
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 21:24:34 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh Log message: Typos fixed. `recursion_depth' now is an unsigned long. 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