January 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/OCaml README.ocaml
by Roberto Bagnara 21 Jan '08

21 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-01-21 14:56:52 Modified files: interfaces/OCaml: README.ocaml Log message: Added some notes on the configuration of MLGMP, since the information contained in the package itself is rather terse. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/README.ocaml…

1 0

ppl/interfaces/OCaml README.ocaml
by Roberto Bagnara 21 Jan '08

21 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-01-21 14:06:22 Modified files: interfaces/OCaml: README.ocaml Log message: Explained the requirements for the OCaml interface. Note that the Caml Hump page for MLGMP is out of date (bug already reported): while they fix it, MLGMP can be found at http://www-verimag.imag.fr/~monniaux/programmes.html.fr. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/README.ocaml…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 21 Jan '08

21 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-21 12:40:46 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_dat.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 Log message: Removed the pattern "@INTOPOLOGY@" which preceded "@FRIEND@" since the topology is now part of the replacement for "@FRIEND@". 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…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 19 Jan '08

19 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-19 18:38:01 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Fixed a bug which showed in the Java generated code for the relation_with methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/src ppl_header.hh
by Roberto Bagnara 19 Jan '08

19 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-01-19 17:15:24 Modified files: src : ppl_header.hh Log message: At the end of the C++ PPL header file, #undef PPL_NO_AUTOMATIC_INITIALIZATION if it is defined. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.hh.diff?cvsroo…

1 0

ppl/fedora Makefile.am
by Roberto Bagnara 18 Jan '08

18 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-01-18 20:42:18 Modified files: fedora : Makefile.am Log message: Distribute also ppl.hh, ppl_c.h, and pwl.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/fedora/Makefile.am.diff?cvsro…

1 0

ppl configure.ac
by Roberto Bagnara 18 Jan '08

18 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-01-18 20:35:29 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./README.configure interfaces/README.inter ...
by Patricia Hill 18 Jan '08

18 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-18 15:07:09 Modified files: . : README.configure Added files: interfaces : README.interfaces Log message: Brief notes on how to generate and use code for a choice of domains in the (mainly Prolog) interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/README.interfaces?…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 18 Jan '08

18 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-18 13:25:20 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Fixed some bugs in the test file that caused some warning messages when testing the code in the Ciao interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 18 Jan '08

18 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-18 12:11:36 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: A bug fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0