July 2002 - PPL-devel - BUGSENG Mailman

ppl README
by Roberto Bagnara 28 Jul '02

28 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-07-28 11:57:36 Modified files: . : README Log message: Updated for version 0.4.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&only_…

1 0

ppl NEWS
by Roberto Bagnara 28 Jul '02

28 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-07-28 11:45:05 Modified files: . : NEWS Log message: Add news for version 0.4.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_wi…

1 0

ppl configure.ac
by Roberto Bagnara 28 Jul '02

28 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-07-28 11:44:45 Modified files: . : configure.ac Log message: Bump version number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Integer.types.hh Makefile.am
by Roberto Bagnara 28 Jul '02

28 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-07-28 11:32:35 Modified files: src : Integer.types.hh Makefile.am Log message: Document the fact that Parma_Polyhedra_Library::Integer is a synonym for GMP's mpz_class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.types.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 24 Jul '02

24 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-07-24 14:28:08 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Ciao Prolog library renamed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/src Integer.types.hh Makefile.am
by Roberto Bagnara 24 Jul '02

24 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-07-24 14:26:36 Modified files: src : Integer.types.hh Makefile.am Log message: Document the fact that Parma_Polyhedra_Library::Integer is a synonym for GMP's mpz_class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.types.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

Elisa got it!
by Roberto Bagnara 24 Jul '02

24 Jul '02

Elisa Ricci got her Laurea degree in Mathematics with a dissertation on the theory of convex polyhedra that the PPL relies upon (advisers Roberto Bagnara, Costantino Medori and Enea Zaffanella). The thesis defense was brilliant and everyone is happy here. Congratulations, Dottoressa Ricci! the PPL team -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 1

ppl/src Generator.defs.hh
by Enea Zaffanella 23 Jul '02

23 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-07-23 18:48:20 Modified files: src : Generator.defs.hh Log message: Corrected doxygen comments to shorthands functions line, ray, point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 23 Jul '02

23 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-07-23 18:44:11 Modified files: doc : definitions.dox Log message: Small correction in the example of the use of an extended generator system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 23 Jul '02

23 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-23 17:27:28 Modified files: htdocs : news.raw ppl.raw Log message: Added a news item about Elisa's degree. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0