October 2001 - PPL-devel - BUGSENG Mailman

ppl/src GenSys.cc GenSys.defs.hh Polyhedron.cc ...
by Elisa Ricci 20 Oct '01

20 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-20 11:47:24 Modified files: src : GenSys.cc GenSys.defs.hh Polyhedron.cc Polyhedron.defs.hh Status.defs.hh conversion.cc Log message: Now, we always use `system of' instead of `set of' for GenSys and ConSys. In the comment of polyhedron added the explanation of what an universal polyhedron is. Some changes to the comment of the exception: we say that they "have different dimension" instead of that they "do not have the same dimension". Patches: 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/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/Status.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src LinExpression.defs.hh
by Elisa Ricci 20 Oct '01

20 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-20 10:26:29 Modified files: src : LinExpression.defs.hh Log message: In the second part of the example, we can use LinExpression e = LinExpression(14) instead of LinExpression e = LinExpression(Integer(14)). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

w3ppl/htdocs People/People.raw Projects/Projec ...
by Roberto Bagnara 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-19 22:24:45 Modified files: htdocs/People : People.raw htdocs/Projects: Projects.raw Log message: These should be finished. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/People/People.raw.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Projects/Projects.ra…

1 0

ppl/doc user-browse.doxyconf-latex.in user-pri ...
by Roberto Bagnara 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-19 20:07:42 Modified files: doc : user-browse.doxyconf-latex.in user-print.doxyconf-latex.in user.doxyconf-html.in Log message: No INTERNAL_DOCS, no INHERIT_DOCS, no FILE_PATTERNS, and no EXCLUDE_PATTERNS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-browse.doxyconf-late… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif…

1 0

ppl/src ConSys.defs.hh GenSys.defs.hh
by Roberto Bagnara 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-19 19:57:23 Modified files: src : ConSys.defs.hh GenSys.defs.hh Log message: Use PPL_INTERNAL inheritance. Patches: 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.defs.hh.diff?cvsro…

1 0

ppl/src/Integer Integer.defs.hh
by Roberto Bagnara 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-19 19:56:14 Modified files: src/Integer : Integer.defs.hh Log message: Short comment to swap, not long comment to std. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer/Integer.defs.hh.d…

1 0

Behaviors of `gcc -E -C'
by Roberto Bagnara 19 Oct '01

19 Oct '01

Hi there, here is a problem I have encountered that may be of interest to both the GCC and the DOXYGEN communities. Consider the following 4 non-empty lines of C text: #if 0 /* I would like not to see this. */ int x; #endif Put these 4 lines into a file called foo.c and then try gcc -E -P -C foo.c Here is the behavior I observe with different (official and unofficial) versions of gcc: egcs-2.91.66 (kgcc) produces a blank line egcs-2.95.3 produces a blank line gcc 2.96-85 (RedHat) produces the comment I would like not to see gcc 3.0.1 produces the comment I would like not to see gcc 3.1 20011006 prints nothing (GOOD!) This issue is quite relevant if one uses doxygen (http://www.doxygen.org/), since there comments are relevant (whence the use of `-C'). A situation where the behavior of gcc 2.96-85 and gcc 3.0.1 may byte you is the following: #if 0 /*! A comment referring to x. */ int x; #endif int y; Doxygen uses special comments like the above (notice the exclamation mark) for documentation. When using doxygen is fed with text coming from the GCC preprocessor, gcc 2.96-85 (RedHat) and gcc 3.0.1 cause a comment for (disregarded) x to be applied to y. There are other tools that look inside comments to derive useful information: these are also affected as well. I wrote this message because I believe it is important not to overlook the issue. I have quickly checked the standard documents, but I have not found anything that prescribes the behavior that I consider "desirable". I have also checked the documentation of the `-C' option but this is also somewhat ambiguous on the subject. A last question: even though the CVS HEAD version is OK (for my purposes, at least), what will gcc 3.0.2 do? All the best, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

4 6

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

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-19 18:13:25 Modified files: doc : definitions.dox Log message: Generators and associated terminology now defined in the user section. There is now some repetition of definitions in the developer's section. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh Polyh ...
by Elisa Ricci 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-19 17:27:47 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Log message: Simplified the comment to the function swap. Used `v' instead of `var', `dim' instead of `add_dim'. All the ConSys are called `cs' and all the GenSys are called `gs'. Used the expression "thrown if" to introduce the comment to the exceptions. The variable is "substituted" in the function substitute_variable. Patches: 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/Polyhedron.inlines.hh.dif…

1 0

ppl/src ConSys.cc ConSys.defs.hh GenSys.cc Gen ...
by Elisa Ricci 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-19 17:19:42 Modified files: src : ConSys.cc ConSys.defs.hh GenSys.cc GenSys.defs.hh Log message: The Generator is called `g' instead of `r' and the number that indicates the variable is called `v' instead of 'var'. 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…

1 0