October 2001 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation ppl.bib
by Elisa Ricci 08 Oct '01

08 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: ericci(a)cs.unipr.it 2001-10-08 15:27:13 Modified files: htdocs/Documentation: ppl.bib Log message: Added the Chernikova's articles (what I know). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

Polyhedra/doc Makefile.am Makefile.in definiti ...
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 14:35:03 Modified files: doc : Makefile.am Makefile.in definitions.dox devref.doxyconf-html.in devref.doxyconf-pdf.in devref.tex user.doxyconf-pdf.in user.tex Removed files: doc : user_definitions.dox Log message: The problems we had with userpage are now solved. We were basically not using doxygen the way it should be. The user_definitions.dox file is no longer necessary: definitions.dox contains, in addition to the the basic definitions, also the more technical ones. The latter are guarded by the `Implementation_Info' condition. `Implementation_Info' is disabled by default and is only enable by putting it after the ENABLED_SECTIONS tag in devred.doxyconf-*.in.

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 12:41:49 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: LeVerge92 fixed (missing comma and spurious brackets). 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

w3ppl/htdocs/Documentation ppl.bib
by Elisa Ricci 08 Oct '01

08 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: ericci(a)cs.unipr.it 2001-10-08 11:53:00 Modified files: htdocs/Documentation: ppl.bib Log message: Added the 'Abstract' for "A note on Chernikova's Algorithm". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

Polyhedra/src Makefile.in Row.defs.hh protect. ...
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 11:08:15 Modified files: src : Makefile.in Row.defs.hh protect.sed restore.sed Log message: Only formatting changes in Row.defs.hh. Remove useless commands in *.sed.

1 0

Polyhedra/src Makefile.am
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 11:05:50 Modified files: src : Makefile.am Log message: Use kgcc for the final step of the generation of ppl.hh. This makes us dependent on kgcc. For instance, if you are running RedHat 7.1 you must have the package compat-egcs-6.2-1.1.2.14 installed. See http://www.cs.unipr.it/pipermail/ppl-devel/2001-October/000281.html for more on this.

1 0

Polyhedra/src 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 10:28:51 Modified files: src : Polyhedron.cc Log message: Some changes in the comments of the function OK().

1 0

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

07 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/07 23:48:36 Modified files: src : Row.defs.hh Log message: Row::enum Type commented properly: this fixes a doxygen warning.

1 0

Polyhedra/src ConSys.types.hh Constraint.types ...
by Roberto Bagnara 07 Oct '01

07 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/07 23:42:03 Modified files: src : ConSys.types.hh Constraint.types.hh GenSys.types.hh Generator.types.hh LinExpression.types.hh Matrix.types.hh Polyhedron.types.hh Row.types.hh SatMatrix.types.hh SatRow.types.hh Status.types.hh Variable.types.hh Log message: Use include guards also for *.types.hh headers.

1 0

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

07 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-07 20:59:55 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Added files: htdocs/Documentation/mirror: Fukuda98.ps.gz Log message: Fukuda98 added. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror…

1 0