January 2006 - PPL-devel - BUGSENG Mailman

ppl/src LP_Problem.cc
by Enea Zaffanella 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-08 22:02:57 Modified files: src : LP_Problem.cc Log message: Dealt with a few FIXME's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src LP_Problem.inlines.hh
by Enea Zaffanella 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-08 21:59:51 Modified files: src : LP_Problem.inlines.hh Log message: A couple of FIXME's properly renamed as TODO's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.dif…

1 0

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 19:53:21 Modified files: htdocs/Links : Links.raw Log message: Added a link to "Program Library HOWTO", by David A. Wheeler. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

ppl ./TODO interfaces/Prolog/Prolog_interface.dox
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 18:55:44 Modified files: . : TODO interfaces/Prolog: Prolog_interface.dox Log message: Improved the documentation about shared libraries and the Prolog interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.16… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src DB_Matrix.inlines.hh Matrix.inlines.hh ...
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 18:06:25 Modified files: src : DB_Matrix.inlines.hh Matrix.inlines.hh Saturation_Matrix.inlines.hh Log message: Two FIXME's resolved and two useless static variables removed: while it is not clear why std::vector::max_size() is not static, GCC and the Intel C++ compiler do compile out all overhead (GCC starting from -O1, the Intel compiler starting from -O2). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.inlines…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 17:18:55 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Constructor to build a Checked_Number from a different kind of Checked_Number marked "explicit" and made available (it was commented out). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl TODO
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 17:16:51 Modified files: . : TODO Log message: Parallel builds now work everywhere. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.16…

1 0

ppl/tests/Polyhedron numberinput1.cc
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 17:10:08 Modified files: tests/Polyhedron: numberinput1.cc Log message: Added a test on hexadecimal number syntax. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am
by Roberto Bagnara 08 Jan '06

08 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-08 17:09:15 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Temporarily force serialization of the tests (see http://www.cs.unipr.it/pipermail/ppl-devel/2006-January/007610.html). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

Problem with spld and parallel builds
by Roberto Bagnara 08 Jan '06

08 Jan '06

A parallel build of the Parma Polyhedra Library has good chances of aborting in the interfaces/Prolog/SICStus directory with the following error: /usr/bin/ld: cannot open linker script file linker_script.x: No such file or directory Apparently, the file called `linker_script.x' is a temporary file created by `spld' (the SICStus Prolog linker) in the current directory and erased before exiting. When multiple instances of `spld' are running concurrently things will often go wrong, since access to that (shared) file is not synchronized. As a temporary workaround I am forcing serialization in the SICStus interface directory. I have also filed a bug report for SICStus. 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