October 2001 - PPL-devel - BUGSENG Mailman

Polyhedra/src LinExpression.defs.hh LinExpress ...
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 21:52:31 Modified files: src : LinExpression.defs.hh LinExpression.inlines.hh Log message: spelling corrected

1 0

Polyhedra/src Polyhedron.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 21:42:14 Modified files: src : Polyhedron.cc Log message: changes to comments add_dimensions_and_embed/project

1 0

Polyhedra/src GenSys.defs.hh GenSys.cc Polyhed ...
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 20:29:32 Modified files: src : GenSys.defs.hh GenSys.cc Polyhedron.cc Log message: Method generators_satisfy_constraint renamed as satisfy_constraint.

1 0

Polyhedra/src Polyhedron.cc
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 20:24:33 Modified files: src : Polyhedron.cc Log message: Slight formatting change.

1 0

Polyhedra/src Polyhedron.inlines.hh SatRow.inl ...
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:59:25 Modified files: src : Polyhedron.inlines.hh SatRow.inlines.hh Log message: SatRow should not appear in the user documentation. Operators on Polyhedron should be commented only once.

1 0

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