October 2001 - PPL-devel - BUGSENG Mailman

Commit logs again
by Roberto Bagnara 22 Oct '01

22 Oct '01

Dear all, I have updated the ChangeLog file so you can look at it. This is produced automatically by a Perl script from your commit log messages. The ChangeLog file is documentation, sometimes very useful documentation. Please write your log messages with extra care and please do spell-check them. Thanks, Roberto -- 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 ChangeLog
by Roberto Bagnara 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-22 15:58:11 Modified files: . : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1…

1 0

ppl/src ConSys.cc ConSys.defs.hh GenSys.cc Gen ...
by Enea Zaffanella 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-22 15:10:10 Modified files: src : ConSys.cc ConSys.defs.hh GenSys.cc GenSys.defs.hh Generator.defs.hh Generator.inlines.hh Polyhedron.defs.hh Log message: Operators |, ^, /= have now been replaced by functions `line', 'ray' and 'vertex'. Note that the function vertex has an _optional_ second argument (the denominator), with default value 1. Hopefully, all the documentation has been changed accordingly (please check). In GenSys and ConSys, now the functions assign_variable and substitute_variable take a _const_ Integer& as their third argument. The same change cannot be applied to the corresponding functions defined on Polyhedron, since we perform a swap on this argument, so that it cannot be const. However, I am now seeing if it is possible to have also these as "optional" arguments, with a default value of 1. Alas, I need to read the C++ manual in order to see how I can define a default value for a non-const argument passed by reference. 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/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… 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/Generator.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

2 1

ppl/tests error1.cc error2.cc error3.cc inters ...
by Enea Zaffanella 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-22 15:18:49 Modified files: tests : error1.cc error2.cc error3.cc inters2.cc randchull1.cc Log message: All tests updated to use the new functions line, ray and vertex. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error1.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error2.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters2.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randchull1.cc.diff?cvsr…

1 0

src/BitSet
by Roberto Bagnara 22 Oct '01

22 Oct '01

You can erase that directory: it was never part of the repository. Ciao, Roberto -- 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 ./config.h.in ./configure.ac doc/devref-br ...
by Roberto Bagnara 22 Oct '01

22 Oct '01

1 0

ppl/doc definitions.dox
by Patricia Hill 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-22 14:26:26 Modified files: doc : definitions.dox Log message: Changed \alpha in the definition of affine transformations to \lambda. Added a comment after the definition of "Combinations" that the empty sum is the origin. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc definitions.dox
by Patricia Hill 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-22 10:34:03 Modified files: doc : definitions.dox Log message: Changes to wording and restructuring of the definition of Polyhedra. New headings added : Constraints representation and Rational polyheron. Heading "Generators" replaced by "Generators representation". Wording in this definition changed Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Polyhedron.defs.hh
by Elisa Ricci 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-22 10:02:24 Modified files: src : Polyhedron.defs.hh Log message: In the comments, there was a system of constraints called "constraints" instead of "cs" and a variable called "var" instead of "v". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Generator.defs.hh
by Patricia Hill 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-22 09:54:28 Modified files: src : Generator.defs.hh Log message: Wording of comment on how to build a generator changed. Also minor changes to wording in the following examples. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0