December 2005 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.defs.hh Polyhedra_Powerset. ...
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 19:04:14 Modified files: src : Polyhedron.defs.hh Polyhedra_Powerset.defs.hh Log message: Corrected references to the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h…

1 0

ppl/src Bounding_Box.defs.hh
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 19:02:48 Modified files: src : Bounding_Box.defs.hh Log message: Formatted doxygen commands according to STANDARDS. Corrected a couple of references to the manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.defs.hh.diff…

1 0

ppl/src Bounding_Box.cc
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 19:01:55 Modified files: src : Bounding_Box.cc Log message: Removed duplicated doxygen comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.cc.diff?cvsr…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 19:00:59 Modified files: doc : definitions.dox Log message: Removed some redundant anchors (prefer using the anchors automatically defined by sectioning commands). Added subsection on the widening and extrapolation operators for BDSs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

CVSROOT users
by Roberto Bagnara 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: bagnara(a)cs.unipr.it 2005-12-05 16:42:04 Modified files: . : users Log message: Added translations for `cimino' and `mazzi'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/users.diff?cvsroot=ppl&r1…

1 0

ppl src/Constraint_System.defs.hh src/Linear_E ...
by Andrea Cimino 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2005-12-05 14:54:01 Modified files: src : Constraint_System.defs.hh Linear_Expression.defs.hh Makefile.am tests/Polyhedron: Makefile.am Added files: src : LP_Problem.cc LP_Problem.defs.hh LP_Problem.inlines.hh LP_Problem.types.hh tests/Polyhedron: LP_Problem1.cc LP_Problem2.cc Log message: Added the LP_Problem class to the branch, derived from the simplex.cc code. The class is fully functional, but lacks of some features like `incrementality': in this case the problem is solved from scratch. Added also a couple of tests playing with the class, but other tests are needed. For significant tests a change to the C interface and to the `ppl_lpsol' tool is required. LP_Problem declared `friend class' of `Constraint_System' and `Linear_Expression' to allow compiling. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.types.hh?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/LP_Problem1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/LP_Problem2.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh M ...
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 14:32:19 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Makefile.am Added files: src : BD_Shape.cc Log message: A couple of non-inline and non-template functions placed in BD_Shape.cc. A few functions have become private members of the BD_Shape class. Some exception throwers are now declared static. A few methods have been renamed for consistency. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.cc?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… 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/Makefile.am.diff?cvsroot=…

1 0

ppl/src DB_Matrix.defs.hh DB_Matrix.inlines.hh
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 14:30:13 Modified files: src : DB_Matrix.defs.hh DB_Matrix.inlines.hh Log message: Avoid indirect inclusion dependencies. Corrected a typo in a preprocessor variable name. Patches: 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…

1 0

ppl/src Checked_Number.types.hh
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 14:28:19 Modified files: src : Checked_Number.types.hh Log message: Also declare the Extended_Number_Policy type. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.types.hh.d…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 14:27:21 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Corrected a few typos and removed a repeated paragraph. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0