October 2001 - PPL-devel - BUGSENG Mailman

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

04 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/04 15:21:25 Modified files: doc : definitions.dox user_definitions.dox Log message: Little change in definition of polyhedra. The definition of adjacent rays is now in defintions.dox.

1 0

Polyhedra/doc user_definitions.dox
by Enea Zaffanella 04 Oct '01

04 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/04 14:51:12 Modified files: doc : user_definitions.dox Log message: Polyhedra is plural !

1 0

Polyhedra/doc user_definitions.dox
by Enea Zaffanella 04 Oct '01

04 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/04 14:28:45 Modified files: doc : user_definitions.dox Log message: Equivalent (and redundant) late definition of convex set removed.

1 0

Polyhedra/doc definitions.dox user_definitions.dox
by Enea Zaffanella 04 Oct '01

04 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/04 14:07:40 Modified files: doc : definitions.dox user_definitions.dox Log message: Small changes.

1 0

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

04 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/04 09:26:19 Modified files: doc : definitions.dox user_definitions.dox devref.tex user.tex Log message: Now, in user.pdf we only have definitions and theorems of user_definitions.dox and in devref.pdf we have those of user_definitions.dox and those of definitions.dox.

1 0

Polyhedra/src Polyhedron.cc
by Elisa Ricci 03 Oct '01

03 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/03 09:40:37 Modified files: src : Polyhedron.cc Log message: Little changes in widening_assign(). Moreover, in widening_assign(), now the check y.is_empty() is done after y.minimize().

1 0

Polyhedra/doc devref.tex user.tex
by Roberto Bagnara 02 Oct '01

02 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/02 17:52:54 Modified files: doc : devref.tex user.tex Log message: Do not include main.tex.

1 0

Polyhedra/doc Makefile.am Makefile.in user.tex ...
by Roberto Bagnara 02 Oct '01

02 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/02 17:50:33 Modified files: doc : Makefile.am Makefile.in user.tex user_definitions.dox Log message: Missing dependencies added in Makefile.am. Specify a title for the main pages.

1 0

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

02 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/02 11:39:01 Modified files: src : Variable.defs.hh Variable.inlines.hh Log message: Added some comments.

1 0

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

02 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/02 11:37:38 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Littlea changes in comment.

1 0