October 2001 - PPL-devel - BUGSENG Mailman

Polyhedra/doc user.doxyconf-html.in user.doxyc ...
by Roberto Bagnara 08 Oct '01

08 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/08 19:13:01 Modified files: doc : user.doxyconf-html.in user.doxyconf-pdf.in Log message: No sources in the user documentation.

1 0

Polyhedra/doc Makefile.am Makefile.in user.dox ...
by Roberto Bagnara 08 Oct '01

08 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/08 17:54:39 Modified files: doc : Makefile.am Makefile.in Added files: doc : user.doxyconf-html.in Log message: We now produce the user's guide also in HTML.

1 0

Polyhedra/src Row.defs.hh BitSet/BitSet.defs.hh
by Roberto Bagnara 08 Oct '01

08 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/08 17:35:43 Modified files: src : Row.defs.hh src/BitSet : BitSet.defs.hh Log message: Support flexible arrays both for the old and the new versions of gcc.

1 0

Polyhedra/src/sysdep system.h
by Roberto Bagnara 08 Oct '01

08 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/08 17:34:45 Removed files: src/sysdep : system.h Log message: Unneeded file removed.

1 0

Polyhedra/src Polyhedron.defs.hh Polyhedron.cc
by Elisa Ricci 08 Oct '01

08 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/08 17:04:49 Modified files: src : Polyhedron.defs.hh Polyhedron.cc Log message: Erased some unuseful comments and added the comment for the function insert(const Constraint& c).

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 08 Oct '01

08 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-08 17:01:54 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: Chernikova6[458] fixed: they were all wrong. Patches: 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 Generator.defs.hh Constraint.def ...
by Elisa Ricci 08 Oct '01

08 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/08 17:01:38 Modified files: src : Generator.defs.hh Constraint.defs.hh LinExpression.defs.hh Log message: Changes in comments that introduce the classes.

1 0

Polyhedra/src Variable.defs.hh
by Elisa Ricci 08 Oct '01

08 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/08 16:57:23 Modified files: src : Variable.defs.hh Log message: A little change in a comment.

1 0

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

08 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/08 16:55:25 Modified files: src : ConSys.defs.hh GenSys.defs.hh Log message: Erased some unuseful comments.

1 0

w3ppl/htdocs/Download cvs.raw
by Patricia Hill 08 Oct '01

08 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2001-10-08 16:18:47 Modified files: htdocs/Download: cvs.raw Log message: Small chnages to English Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/cvs.raw.dif…

1 0