- PPL-devel - BUGSENG Mailman

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...
by Roberto Bagnara 17 Jun '02

17 Jun '02

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-06-17 14:31:22 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: CousotC92-PLILP added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/interfaces/C ppl_c.h
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 13:57:49 Modified files: interfaces/C : ppl_c.h Log message: Added comment to functions building polyhedra from bounding boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/interfaces/Prolog clpq.pl
by Patricia Hill 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-17 12:47:31 Modified files: interfaces/Prolog: clpq.pl Log message: clpq.pl only uses C polyhedron again. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq.pl.dif…

1 0

ppl/src C_Polyhedron.defs.hh NNC_Polyhedron.de ...
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 12:42:37 Modified files: src : C_Polyhedron.defs.hh NNC_Polyhedron.defs.hh Polyhedron.defs.hh globals.hh Log message: Added documentation for constructor of C_ and NNC_ polyhedra out of a bounding box. The comment on the C_Polyhedron destructor is now a proper doxygen comment. Added a short description doc for struct FromBoundingBox to avoid cluttering the ``PPL Compound List'' page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… 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/globals.hh.diff?cvsroot=p…

1 0

ppl/src LinExpression.defs.hh
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 11:25:30 Modified files: src : LinExpression.defs.hh Log message: Corrected typo in documentation of explicit LinExpression(const Generator& g); Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 10:54:44 Modified files: src : Polyhedron.defs.hh Log message: Improved documentation of poly_difference_assign* methods, stating that topological closure is enforced when *this is a C_Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src LinExpression.defs.hh
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 10:24:51 Modified files: src : LinExpression.defs.hh Log message: Constructors of a LinExpression out of a Constraint/Generator made public. Added a more detailed comment about the unicity of the built expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

ppl/src Constraint.inlines.hh
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 10:04:00 Modified files: src : Constraint.inlines.hh Log message: Removed FIXME's about the efficiency of row-type setting methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif…

1 0

ppl/interfaces/Prolog Prolog_interface.dox clpq.pl
by Patricia Hill 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-17 08:59:28 Modified files: interfaces/Prolog: Prolog_interface.dox clpq.pl Log message: clpq.pl is updated to allow for strict constraints. Improved comments for new polyhedron predicates from consys, gensys and boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq.pl.dif…

1 0