January 2007 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 15 Jan '07

15 Jan '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-01-15 18:14:47 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Fixed Frehse05. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Andrea Cimino 15 Jan '07

15 Jan '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-01-15 13:01:55 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_mli.m4 ppl_interface_generator_ocaml_mli_code.m4 ppl_ocaml_types.ml Log message: Removed some commented and non used declarations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_ty…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 15 Jan '07

15 Jan '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-01-15 10:20:33 Modified files: htdocs/Documentation: ppl.bib Log message: Fixed StoerW70. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Andrea Cimino 13 Jan '07

13 Jan '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-01-13 20:17:16 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli.m4 ppl_interface_generator_ocaml_mli_code.m4 ppl_ocaml_globals.cc ppl_ocaml_types.ml test1.ml Log message: Corrected the constructors `from space_dimension' that until now allowed to build types just from UNIVERSE. Created the type `degenerate_element' for that purposes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_ty… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 13 Jan '07

13 Jan '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-01-13 16:04:41 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added FrankM02th. Completed Flexeder05th. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...
by Barbara Quartieri 11 Jan '07

11 Jan '07

1 0

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Patricia Hill 11 Jan '07

11 Jan '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-01-11 08:33:58 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java.m4 ppl_interface_generator_java_classes_java_code.m4 Log message: Revised the way the code for the iterator classes is generated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

[Fwd: Re: automake/514: check_JAVA files are always compiled]
by Roberto Bagnara 10 Jan '07

10 Jan '07

-------- Original Message -------- Subject: Re: automake/514: check_JAVA files are always compiled Date: Wed, 10 Jan 2007 19:35:35 +0100 From: Ralf Wildenhues <Ralf.Wildenhues(a)gmx.de> Organization: Department of Numerical Simulation, University of Bonn To: Roberto Bagnara <bagnara(a)cs.unipr.it> CC: bug-automake(a)gnu.org, automake-gnats(a)sources.redhat.com References: <20061222151049.14149.qmail(a)sourceware.org> <458BE8F1.3020904(a)cs.unipr.it> Hello, * Roberto Bagnara wrote on Fri, Dec 22, 2006 at 03:17:21PM CET: > > The subject says all. Is there any workaround? > check_JAVA files are always compiled, not only in case of `make check'. Quoting 'info Automake Java': | Any `.java' files listed in a `_JAVA' variable will be compiled with | `JAVAC' at build time. By default, `.java' files are not included in | the distribution, you should use the `dist_' prefix to distribute them. [...] | Currently Automake enforces the restriction that only one `_JAVA' | primary can be used in a given `Makefile.am'. The reason for this | restriction is that, in general, it isn't possible to know which | `.class' files were generated from which `.java' files, so it would be | impossible to know which files to install where. For instance, a | `.java' file can define multiple classes; the resulting `.class' file | names cannot be predicted without parsing the `.java' file. Seems it's working as documented, no? No, I don't know why this limitation exists, or what would be needed to lift it. I don't know Automake's java support very well. Hope that helps. Cheers, Ralf -- 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

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 09 Jan '07

09 Jan '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-01-09 17:41:51 Modified files: htdocs/Documentation: ppl_citations.bib Log message: FrehseKRM05 replaced by FrehseKRM06. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

Complexity of bounding box computation
by Lakshminarayanan Renganarayana 09 Jan '07

09 Jan '07

Hi, I am interested in knowing the time/space complexity of computing the bounding box of a polyhedra given in constraint form. By looking at the manuals, I found that PPL supports such a computation. However, I am not able to find out its complexity. Any ideas? Thanks in advance for any replies. Ln.

3 3