November 2001 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 02 Nov '01

02 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-02 08:24:07 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: An improved version of the interpreter. This is a bit faster. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

spld --with-cc?
by Roberto Bagnara 01 Nov '01

01 Nov '01

I am interfacing a C++ library to SICStus Prolog. One of the problems with C++ is that different compilers and different compiler versions are usually incompatible with each other. For this reason it would be important to be able to tell spld which compiler to use for its job. Since there is already provision for --with-<package>=<DIR> where "package" is one of "jdk", "tcltk", or "bdb", why do not extend the concept to accommodate also --with-<program>=<path> where program is one of "cc", "cxx", or "ld"? Thanks a lot, 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/tests Makefile.am
by Roberto Bagnara 01 Nov '01

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-01 19:08:03 Modified files: tests : Makefile.am Log message: Link the GMP library after the PPL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl configure.ac
by Roberto Bagnara 01 Nov '01

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-01 19:04:26 Modified files: . : configure.ac Log message: The --with-cc configure option has been fixed (it affected CXX instead of CC). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 01 Nov '01

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-01 18:08:06 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Now only use the copied polyhedron when trying a clause. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

Doxygen bug report: (pdf)latex is not run as many times as necessary
by Roberto Bagnara 01 Nov '01

01 Nov '01

Doxygen writes, in the LATEX_OUTPUT a Makefile that is very useful in order not to run (pdf)latex and makeindex by hand. Here is one of the make rules I am talking about refman.dvi: refman.tex doxygen.sty echo "Running latex..." latex refman.tex echo "Running makeindex..." makeindex refman.idx echo "Rerunning latex...." latex refman.tex The problem is that (pdf)latex may have to be run multiple times to get cross-references right. Sometimes running it once after makeindex is indeed enough, but must often you need to run it twice (this is the case for the project I am working on). In rare cases you need to run it three or more times (even though I have never seen more than three runs to be necessary). That is why I propose to replace the above rule by the following and to provide a similar rule for pdflatex when USE_PDFLATEX is set to YES: refman.dvi: refman.tex doxygen.sty echo "Running latex..." latex refman.tex echo "Running makeindex..." makeindex refman.idx echo "Rerunning latex...." latex refman.tex latex_count=5 while egrep -s 'Rerun (LaTeX|to get cross-references right)' refman.log && [ $latex_count -gt 0 ] ;\ do \ echo "Rerunning latex...." ;\ latex refman.tex ;\ latex_count=`expr $latex_count - 1` ;\ done Notice that latex is run only if necessary and at most five times after makeindex. This is done because (pdf)latex is not guaranteed to be able to stabilize the cross-references. While this happens only in extremely pathological cases, it is better to take measures against it. That is what latex_count is used for. 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

1 0

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 01 Nov '01

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-01 17:27:59 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Bug is fixed and test added to check bug is dead. Also, more care is taken to remove polyhedron that are no longer needed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

Doxygen bug report: namespaces and friends
by Roberto Bagnara 01 Nov '01

01 Nov '01

The attached files exemplify a bug in Doxygen 1.2.11 whereby Doxygen seems unable to match a friend function with its documentation in the presence of namespaces. Here is bug3.cc (certified standard conformant C++ code): namespace N { class A; void bar(A& a); }; //! Documenting class A. class N::A { private: int i; public: void foo(); friend void N::bar(A& a); }; /*! Documentation for foo. */ void N::A::foo() { } /*! Documentation for bar. */ void N::bar(A& a) { ++a.i; } Doxygen outputs, among other things, .../bug3.cc:13 Warning: Member N::bar of class N::A is not documented. First, N::bar is not a member of class N::A. Then it is not true that it is not documented. In fact, it is documented the same way the member N::A::foo is. To reproduce: $ doxygen Doxyfile $ make ps 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 PROJECT_NAME = BugReport PROJECT_NUMBER = PPL.3 OUTPUT_DIRECTORY = . OUTPUT_LANGUAGE = English INPUT = bug3.cc GENERATE_LATEX = YES LATEX_OUTPUT = . COMPACT_LATEX = YES namespace N { class A; void bar(A& a); }; //! Documenting class A. class N::A { private: int i; public: void foo(); friend void N::bar(A& a); }; /*! Documentation for foo. */ void N::A::foo() { } /*! Documentation for bar. */ void N::bar(A& a) { ++a.i; }

1 0

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 01 Nov '01

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-01 15:44:46 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Now, delete_polyhedron is used when the call to solve((A,B)...) fails as well as when it succeeds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

ppl/src ConSys.cc GenSys.cc Row.cc Row.defs.hh
by Elisa Ricci 01 Nov '01

01 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-11-01 15:36:55 Modified files: src : ConSys.cc GenSys.cc Row.cc Row.defs.hh Log message: Erased the function projected_scalar_prod(x, y) and used instead of it the operator * that it is changed to support also the case of x.size() < y.size (operator * so can be used in the case x.size <= y.size). The functions GenSys::satisfy(Constraint) and ConSys::satisfies_all_constraints(Generator) are modified to use only the operator *. 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/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0