October 2001 - PPL-devel - BUGSENG Mailman

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

Polyhedra/src conversion.cc
by Elisa Ricci 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/09 17:19:57 Modified files: src : conversion.cc Log message: Used the notation of scalar product in the comment of the function conversion(...).

1 0

Polyhedra/src Polyhedron.defs.hh LinExpression ...
by Elisa Ricci 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/09 17:04:18 Modified files: src : Polyhedron.defs.hh LinExpression.defs.hh Log message: Two little changes in comments.

1 0

Polyhedra/doc definitions.dox
by Elisa Ricci 09 Oct '01

09 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/09 16:21:13 Modified files: doc : definitions.dox Log message: Used the notation of the scalar product in some other place and used the notation of column-vector for the elements of the n-dimensional real space (instead of row-vector one).

1 0

Polyhedra/doc Makefile.am Makefile.in
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 14:10:06 Modified files: doc : Makefile.am Makefile.in Log message: Now we generate the files ppl-user-@VERSION@.pdf and ppl-devref-@VERSION@.pdf, where @VERSION@ is substituted with the PPL version number. Dependency tracking also improved.

1 0

Polyhedra/src Polyhedron.cc Polyhedron.inlines.hh
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 13:54:08 Modified files: src : Polyhedron.cc Polyhedron.inlines.hh Log message: changes to comments

1 0