April 2003 - PPL-devel - BUGSENG Mailman

ppl ./ltmain.sh Watchdog/ltmain.sh
by Roberto Bagnara 07 Apr '03

07 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-07 16:25:08 Modified files: . : ltmain.sh Watchdog : ltmain.sh Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ltmain.sh.diff?cvsro…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
by Patricia Hill 07 Apr '03

07 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-04-07 08:11:38 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: The local definition of many of the ppl predicates changed to allow for Prolog failure. Some missing predicates added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 07 Apr '03

07 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-04-07 08:03:37 Modified files: interfaces/Prolog: pl_check.pl Log message: Tests have been improved and extended to check negation and Prolog failure. Some reorganisation done. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Patricia Hill 07 Apr '03

07 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-04-07 07:59:49 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: ppl_Polyhedron_limited_H79_extrapolation_assign_with_token was missing - is now added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/src Constraint.defs.hh Constraint.inlines. ...
by Enea Zaffanella 06 Apr '03

06 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-06 18:33:02 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Generator.defs.hh Generator.inlines.hh LinExpression.defs.hh LinExpression.inlines.hh Polyhedron_public.cc Log message: Adding a few missing \relates Doxygen commands. Avoid adding Doxygen blocks near to *friend* declarations: comment the very function declarations instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Status.defs.hh Status.inlines.hh SatRo ...
by Enea Zaffanella 06 Apr '03

06 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-06 18:28:33 Modified files: src : Status.defs.hh Status.inlines.hh SatRow.inlines.hh Poly_Con_Relation.defs.hh Poly_Con_Relation.inlines.hh Poly_Gen_Relation.defs.hh Poly_Gen_Relation.inlines.hh Log message: Adding a few missing \relates Doxygen commands. Avoid adding Doxygen blocks near to *friend* declarations: comment the very function declarations instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.inlines…

1 0

ppl/src SatRow.defs.hh
by Enea Zaffanella 06 Apr '03

06 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-06 18:25:16 Modified files: src : SatRow.defs.hh Log message: Removed declared but unimplemented member function unsigned int size(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsro…

1 0

ppl/src Row.defs.hh
by Enea Zaffanella 06 Apr '03

06 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-06 12:15:28 Modified files: src : Row.defs.hh Log message: Upgraded the detailed documentation of class Row to also describe the representation of NNC row objects. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src Status.defs.hh
by Enea Zaffanella 05 Apr '03

05 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-05 09:37:06 Modified files: src : Status.defs.hh Log message: Modified class documentation to also consider the flags about pending constraints and generators. Moved Doxygen comments from friend declaration to the real function declaration. Avoid using preproc flag PPL_DOXYGEN_HYDE_ IMPLEMENTATION_DETAILS when useless, i.e., when we are inside a class whose documentation is already hidden. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsro…

1 0

ppl/src Matrix.defs.hh Matrix.cc
by Enea Zaffanella 05 Apr '03

05 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-05 09:33:28 Modified files: src : Matrix.defs.hh Matrix.cc Log message: Adjusted a couple of Doxygen and code comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0