June 2002 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-25 11:34:13 Modified files: src : Polyhedron.defs.hh Log message: A few docuemntation errors corrected. Added a note about methods ending in _and_minimize(), to explain the menaing of their return value. From all of their brief doxygen comments, moved the corresponding sentence on their return value, which is now placed in the detailed doxygen comment, using the \return command. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/doc definitions.dox
by Patricia Hill 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-25 11:25:14 Modified files: doc : definitions.dox Log message: Renamed variables in example in paragraph wrt adding dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/interfaces/Prolog clpq2.pl
by Patricia Hill 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-25 11:08:40 Modified files: interfaces/Prolog: clpq2.pl Log message: Improved version of clpq2.pl: - Code formatting corrected; - Unused predicate definitions removed; - Predicates renamed to match functionality; - Much more efficient as it projects unwanted dimensions away; - Allows input variables to bind to Herbrand terms; - Allows integer expressions as input (eg fib(2, X+1)). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di…

1 0

ppl/doc definitions.dox
by Patricia Hill 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-25 10:38:06 Modified files: doc : definitions.dox Log message: Added paragraphs on adding and removing dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-25 08:57:54 Modified files: interfaces/Prolog: pl_check.pl Log message: More tidying of the tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl configure.ac
by Roberto Bagnara 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-25 08:48:25 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src ConSys.cc Generator.defs.hh Polyhedron ...
by Patricia Hill 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-25 08:47:37 Modified files: src : ConSys.cc Generator.defs.hh Polyhedron.cc Polyhedron.defs.hh conversion.cc Log message: In all files, changed reference to Introduction to the relevant section. In Polyhedron.defs.hh: - A few minor changes to English expressions. - An x_1 changed to y. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

Snapshot
by Roberto Bagnara 25 Jun '02

25 Jun '02

Hi there, I have uploaded to our snapshot area (http://www.cs.unipr.it/ppl/Download/ftp/snapshots/) a set of distribution packages. While these are not up-to-date with respect to the current CVS version, they are there for you to check if packaging is OK. Tarballs should be unpackable, compilable and installable, RPMs should have the appropriate info and should be usable as expected. Please let me know if there are any problems. Ciao Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl ./NEWS doc/definitions.dox interfaces/C/pp ...
by Roberto Bagnara 25 Jun '02

25 Jun '02

1 0

ppl ppl.spec.in
by Roberto Bagnara 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-25 06:39:56 Modified files: . : ppl.spec.in Log message: %files section for gprolog package fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0