- PPL-devel - BUGSENG Mailman

Polyhedra/src LinExpression.defs.hh Generator. ...
by Enea Zaffanella 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/09 19:42:58 Modified files: src : LinExpression.defs.hh Generator.defs.hh Constraint.defs.hh Log message: In the short description for functions returning a value, replaced the "Yields" with "Returns" for uniformity.

1 0

w3ppl/bin update_web_site
by Roberto Bagnara 09 Oct '01

09 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-09 19:41:36 Added files: bin : update_web_site Log message: This is just a first, rough cut at an automated procedure for updating the web site. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/update_web_site.diff?cv…

1 0

w3ppl/bin
by Roberto Bagnara 09 Oct '01

09 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-09 19:40:11 w3ppl/bin Update of /cvs/ppl/w3ppl/bin In directory spartacus.cs.unipr.it:/tmp/cvs-serv20589/bin Log Message: Directory /cvs/ppl/w3ppl/bin added to the repository

1 0

Polyhedra/src Matrix.defs.hh Matrix.inlines.hh
by Enea Zaffanella 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/09 19:38:43 Modified files: src : Matrix.defs.hh Matrix.inlines.hh Log message: Matrix should not appear in the user documentation.

1 0

Polyhedra/src SatMatrix.defs.hh SatMatrix.inli ...
by Enea Zaffanella 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/09 19:34:05 Modified files: src : SatMatrix.defs.hh SatMatrix.inlines.hh Log message: SatMatrix should not appear in the user documentation.

1 0

Polyhedra/src Constraint.defs.hh LinExpression ...
by Roberto Bagnara 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/09 19:20:44 Modified files: src : Constraint.defs.hh LinExpression.defs.hh Log message: A couple of Doxygen/LaTeX mistakes fixed.

1 0

Polyhedra/src Polyhedron.defs.hh
by Roberto Bagnara 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/09 19:04:17 Modified files: src : Polyhedron.defs.hh Log message: Some accessors that ought to be private are now private: FIXME removed.

1 0

Polyhedra/src conversion.cc simplify.cc
by Patricia Hill 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: hill(a)sandbox.cs.unipr.it 01/10/09 18:49:51 Modified files: src : conversion.cc simplify.cc Log message: changes to comments

1 0

w3ppl/htdocs ppl.raw Documentation/Documentati ...
by Roberto Bagnara 09 Oct '01

09 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-09 18:06:21 Modified files: htdocs : ppl.raw htdocs/Documentation: Documentation.raw Log message: Casual readers of the home page are being warned. Links to the on-line documentation added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

Polyhedra/src ConSys.cc ConSys.defs.hh GenSys. ...
by Patricia Hill 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: hill(a)sandbox.cs.unipr.it 01/10/09 17:39:27 Modified files: src : ConSys.cc ConSys.defs.hh GenSys.cc Generator.cc Matrix.cc Matrix.defs.hh Matrix.inlines.hh Row.cc Row.defs.hh Row.inlines.hh SatMatrix.cc SatRow.defs.hh Status.defs.hh Log message: changes to comments

1 0