October 2008 - PPL-devel - BUGSENG Mailman

ppl TODO
by Roberto Bagnara 14 Oct '08

14 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-14 23:44:55 Modified files: . : TODO Log message: One item postponed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.26…

1 0

ppl/src checked_int.inlines.hh
by Abramo Bagnara 14 Oct '08

14 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-10-14 15:25:58 Modified files: src : checked_int.inlines.hh Log message: Comparison are now done taking for granted C99 conformance. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src checked.inlines.hh
by Abramo Bagnara 14 Oct '08

14 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-10-14 15:24:28 Modified files: src : checked.inlines.hh Log message: Added missing assertions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl/interfaces/OCaml Makefile.am tests/Makefile.am
by Enea Zaffanella 14 Oct '08

14 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-14 15:20:36 Modified files: interfaces/OCaml: Makefile.am interfaces/OCaml/tests: Makefile.am Log message: Remove useless -I option from ocamlc commands. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

ppl/interfaces/OCaml/tests Makefile.am
by Enea Zaffanella 14 Oct '08

14 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-14 11:36:22 Modified files: interfaces/OCaml/tests: Makefile.am Log message: Let the executable tests also depend on ppl_ocaml.cma. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

ppl/interfaces/OCaml Makefile.am
by Enea Zaffanella 14 Oct '08

14 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-14 11:33:50 Modified files: interfaces/OCaml: Makefile.am Log message: Let ppl_ocaml.cma also depend on libppl_ocaml.a Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

Building still fails on ARM
by Michael Tautschnig 14 Oct '08

14 Oct '08

Dear developers, apparently ppl 0.10 pre34 still fails to build on some architectures because of FPU_* macros not being defined. Please see http://buildd.debian.org/fetch.cgi?&pkg=ppl&ver=0.10~pre34-1&arch=arm&stamp… for details. Thanks, Michael

2 2

ppl/src checked_float.inlines.hh
by Abramo Bagnara 13 Oct '08

13 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-10-13 18:57:56 Modified files: src : checked_float.inlines.hh Log message: Added const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

Re: [PPL-devel] ciaoc generates invalid glue code <- fixed?
by Roberto Bagnara 13 Oct '08

13 Oct '08

Jose Morales wrote: > I committed a patch that solves two additional bugs in the foreign > interface generation. Could you check if it works with the corrected > version? Thanks Dear Jose, it seems it works: thanks! Now we have to come up with a sentence for the README.ciao file. The sentence should say something like: Only versions ... of Ciao Prolog is supported [by PPL 0.10]. With what should we replace the "..."? I have checked, and the current SVN HEAD version does not even build on my 64-bit system. So, is it OK if we say Only versions of Ciao Prolog based on SVN revision 9859 or later are supported. ? Thanks again, 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

5 4

ppl/src checked_float.inlines.hh compiler.hh
by Abramo Bagnara 13 Oct '08

13 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-10-13 16:59:03 Modified files: src : checked_float.inlines.hh compiler.hh Log message: Optimized and fixed correctness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.diff?cvsroot=…

1 0