October 2001 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation Makefile bibliograp ...
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-10 19:47:05 Modified files: htdocs/Documentation: Makefile bibliography.raw ppl.bib Added files: htdocs/Documentation: chernikova.c Log message: Provide the source code from LeVerge92. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/cherni… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Makefi… 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

Polyhedra/src LinExpression.defs.hh LinExpress ...
by Enea Zaffanella 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/10 19:01:14 Modified files: src : LinExpression.defs.hh LinExpression.inlines.hh Variable.defs.hh Log message: Classes LinExpression and Variable inserted in the newly born module LinExpression. Corresponding friend functions inserted in the module too. Alas, we obtain warning from doxygen for putting class-scope methods under group-scope.

1 0

Polyhedra/doc Makefile.am Makefile.in
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/10 18:43:42 Modified files: doc : Makefile.am Makefile.in Log message: Erase the old target before calling gzip.

1 0

Polyhedra/src ConSys.cc ConSys.inlines.hh GenS ...
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/10 18:05:40 Modified files: src : ConSys.cc ConSys.inlines.hh GenSys.cc GenSys.inlines.hh Log message: ConSys::num_inequalities(), ConSys::num_equalities(), GenSys::num_lines(), and GenSys::num_rays() are no longer inline.

1 0

Polyhedra/src ConSys.defs.hh
by Elisa Ricci 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/10 18:01:58 Modified files: src : ConSys.defs.hh Log message: Added an example to build a square with the system of constraints.

1 0

Polyhedra/src Generator.defs.hh
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/10 17:51:42 Modified files: src : Generator.defs.hh Log message: Make enum Type and accessor type() public. Make is_*() accessors internal.

1 0

w3ppl/htdocs/About About.raw
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-10 17:41:56 Modified files: htdocs/About : About.raw Log message: Mention Doxygen among the used tools. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

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

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/10 17:34:54 Modified files: src : LinExpression.defs.hh Log message: Added some example to build a linear expression in comments. Used \f$...\f$ instead of \p ... in the right part of comments.

1 0

w3ppl/htdocs/Documentation Documentation.raw
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-10 17:33:44 Modified files: htdocs/Documentation: Documentation.raw Log message: Present also the developer's manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

Polyhedra/src ConSys.defs.hh GenSys.defs.hh
by Elisa Ricci 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/10 16:59:10 Modified files: src : ConSys.defs.hh GenSys.defs.hh Log message: Changed the comments that introduce the examples for const_iterator.

1 0