October 2001 - PPL-devel - BUGSENG Mailman

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 10:39:08 Modified files: doc : Makefile.am Makefile.in Log message: The initial PPL version is 0.1.

1 0

Polyhedra/gmp-3.1.1 ansi2knr.c configure.in mk ...
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 10:38:35 Modified files: gmp-3.1.1 : ansi2knr.c configure.in mkinstalldirs gmp-3.1.1/tests/rand: findlc.c Log message: Restored again.

1 0

Polyhedra/gmp-3.1.1 ansi2knr.c configure.in mk ...
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 10:36:31 Modified files: gmp-3.1.1 : ansi2knr.c configure.in mkinstalldirs gmp-3.1.1/tests/rand: findlc.c Log message: Changed by mistake; now restored.

1 0

Polyhedra/src ConSys.defs.hh ConSys.inlines.hh
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 10:35:13 Modified files: src : ConSys.defs.hh ConSys.inlines.hh Log message: Comments improved; redundant ones for inlined functions removed.

1 0

Polyhedra/src Constraint.defs.hh
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 10:34:25 Modified files: src : Constraint.defs.hh Log message: Small adjustment in the comment for the class.

1 0

Polyhedra/doc devref.tex user.tex
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 10:32:12 Modified files: doc : devref.tex user.tex Log message: Title page improved: we now have affiliations for the people currently involved that have a known affiliation. We also acknowledge the support we received from various sources.

1 0

Polyhedra/doc definitions.dox
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 10:28:21 Modified files: doc : definitions.dox Log message: Changed the notation of the scalar product: now we use "\langle x, y \rangle" instead of "x \circ y".

1 0

Polyhedra/src Constraint.defs.hh
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 09:52:19 Modified files: src : Constraint.defs.hh Log message: Output operator added to the group "Constraint" of functions known to the namespace.

1 0

Polyhedra/src Constraint.defs.hh Constraint.in ...
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 09:31:46 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Log message: The Type enumeration made PPL_INTERNAL, as well as the is_nontrivial method. This causes problems to compilation of user.cc, that have stil lto be solved. A few useless detailed comments removed.

1 0

Polyhedra/src Variable.defs.hh Variable.inlines.hh
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 09:29:45 Modified files: src : Variable.defs.hh Variable.inlines.hh Log message: Class Variable comments improved. Useless detailed comments removed.

1 0