December 2001 - PPL-devel - BUGSENG Mailman

ppl/src SatMatrix.cc
by Roberto Bagnara 10 Dec '01

10 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-10 16:26:35 Modified files: src : SatMatrix.cc Log message: SatMatrix::resize() was not shrinking the matrix when requested to do so: fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot…

1 0

ppl/src SatMatrix.cc
by Roberto Bagnara 10 Dec '01

10 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-10 12:31:52 Modified files: src : SatMatrix.cc Log message: Added speculative memory allocation for SatMatrix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot…

1 0

Strange thing in Polyhedron.cc
by Roberto Bagnara 10 Dec '01

10 Dec '01

Hi there, this is the contents of lines 1411-1414 of Polyhedron.cc. #if 0 //#ifdef BE_LAZY // FIXME: this has to be checked carefully // for correctness and/or efficiency. Can someone explain what is happening here? 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

3 2

ppl/src Polyhedron.cc Row.defs.hh
by Roberto Bagnara 10 Dec '01

10 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-10 08:35:50 Modified files: src : Polyhedron.cc Row.defs.hh Log message: Some comments have been fixed. 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/Row.defs.hh.diff?cvsroot=…

1 0

ppl configure.ac
by Roberto Bagnara 09 Dec '01

09 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-09 11:26:56 Modified files: . : configure.ac Log message: Bump version number so as to avoid confusion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

Empty for loops do not work in bash 2.05.8...
by Roberto Bagnara 09 Dec '01

09 Dec '01

... but they do work in version 2.04.21. Let me start from the beginning. I just upgraded one of my systems from Red Hat 7.1 to 7.2 and suddenly all my automake-generated Makefile's stopped working. The problem can be easily exemplified as follows: $ bash --version GNU bash, version 2.05.8(1)-release (i386-redhat-linux-gnu) Copyright 2000 Free Software Foundation, Inc. $ for k in ; do echo flip; done bash: syntax error near unexpected token `;' $ On a Red Hat 7.1 system I have, instead, $ bash --version GNU bash, version 2.04.21(1)-release (i386-redhat-linux-gnu) Copyright 1999 Free Software Foundation, Inc. $ for k in ; do echo flip; done $ i.e., the loop body is executed zero times. This observation prompted me to read the bash FAQ available at ftp://ftp.cwru.edu/pub/bash/FAQ and especially question E7) What about empty for loops in Makefiles? whose answer says, among other things, In versions of bash before bash-2.05a, this was a syntax error. If the reserved word `in' was present, a word must follow it before the semicolon or newline. The language in the manual page referring to the list of words being empty referred to the list after it is expanded. These versions of bash required that there be at least one word following the `in' when the construct was parsed. ... The latest drafts of the updated POSIX standard have changed this: the word list is no longer required. Bash versions 2.05a and later accept the new syntax. So, assuming that version "2.05.8(1)-release" is after "bash-2.05a" this would seem a bug in "2.05.8(1)-release". However, assuming "2.04.21(1)-release" is before "bash-2.05a", this would also indicate there is a bug in the FAQ. Does anyone know what is happening? Is there any workaround apart from downgrading bash? 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

2 1

ppl interfaces/Prolog/SICStus/expected src/Row ...
by Roberto Bagnara 08 Dec '01

08 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-08 10:40:18 Modified files: interfaces/Prolog/SICStus: expected src : Row.defs.hh Log message: EXTRA_NORMALIZATION defaults to 0. Expected outcome from the clpq test updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/exp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src ConSys.cc GenSys.cc Matrix.cc Matrix.d ...
by Elisa Ricci 05 Dec '01

05 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-12-05 18:58:21 Modified files: src : ConSys.cc GenSys.cc Matrix.cc Matrix.defs.hh Polyhedron.cc Row.cc Row.defs.hh conversion.cc Log message: The method Row::normalize() has been restored so that it only ensures coefficients are mutually prime. The new method Row::strong_normalize() also ensures that the first non-zero coefficient of lines and equalities is negative. The new method Matrix::strong_normalize() that calls strongly normalizes each row. Strong normalization is now used wherever it is guaranteed to be both safe and efficient. The "EXTRA_NORMALIZATION" flag is used to decide whether strong_normalization is also used in Row::libear_combine() (since in this case strong normalization can incur performance penalties). 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/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.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/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src Row.cc
by Elisa Ricci 03 Dec '01

03 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-12-03 09:16:46 Modified files: src : Row.cc Log message: Changed the function Row::normalize() so that the first coefficient different from zero is negative (and not positive). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/src Matrix.cc Polyhedron.cc Row.cc
by Elisa Ricci 02 Dec '01

02 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-12-02 16:09:03 Modified files: src : Matrix.cc Polyhedron.cc Row.cc Log message: In Polyhedron::intersection_assign_and_minimize added the assertion to verify if the resulting polyhedron is OK. In function Row::normalize() if we normalize an equality or a line, we decide that the first element of the corresponding row is positive. In function Matrix::back_substitute(), if we call linear_combine with an equality and an inequality, we must change the coefficients of the equality so that the coefficient of the inequality in the linear combination is non-negative. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… 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/Row.cc.diff?cvsroot=ppl&r…

2 1