January 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 28 Jan '08

28 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-28 14:26:45 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 ppl_interface_generator_c_procedure_generators.m4 Log message: Added to the C interface the m4 code for drop_disjuncts. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 28 Jan '08

28 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-28 14:04:04 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 Log message: Added to the C interface procedures for Pointset_Powerset (const) iterators: increment, decrement, equals, begin and end. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 28 Jan '08

28 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-28 12:36:40 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 Log message: Added to the C interface the ppl_@CLASS@_size method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces Makefile.am C/Makefile.am C/ppl ...
by Patricia Hill 28 Jan '08

28 Jan '08

1 0

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

28 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-28 11:29:20 Modified files: interfaces : ppl_interface_generator_common_procedure_list.m4 interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 Removed files: interfaces/Java: ppl_interface_generator_java_dat.m4 Log message: Fixed bugs wrt the pointset powerset caused by the previous commit domain in the OCaml and Java interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… 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 27 Jan '08

27 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-27 21:52:07 Modified files: interfaces : ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_list.m4 interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: By defining a new pattern "incdec" and its replacement, made the increment and decrement iterator methods use common code. Similarly the begin_iterator and end_iterator now use common code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… 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/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/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

Re: [PPL-devel] powerset domain
by P M Hill 26 Jan '08

26 Jan '08

On Fri, 11 Jan 2008, John Gallagher wrote: > Hi Pat > > I'm trying to get started with using the powerset domain of PPL from the Ciao > Prolog interface, but I can't figure out how. Any chance you could give me a > pointer or a hello world program to get me going, assuming it is possible? I > am using the PPL users' manual v0.9 - a pointer to the appropriate section to > look at would be fine. > > Best regards > John > > > -------------- > John Gallagher > www.ruc.dk/~jpg/ > +45 46742196 Hi John, there is a snapshot which includes a Ciao Prolog interface for the Pointset_Powerset domain for you at ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ppl-0.10pre16.tar.bz2 In fact the Prolog Pointset_Powerset predicates are also checked for SICStus, SWI and XSB Prolog as well as for Ciao. There are a some draft and brief instructions about the use of the revised interfaces in README.interfaces in the interface directory. Information about the configuration options to generate interface domains, such as the Pointset_Powerset, are in README.configure. Please let us know how it goes and don't hesitate to ask if you need any help and/or to suggest improvements. Best wishes, Pat PS I am resending this as one of the addresses was wrong. Pat

1 0

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

26 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-01-26 10:32:23 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Use AM_CPPFLAGS for `splfr' and `spld', not CPPFLAGS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

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

25 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-01-25 21:36:58 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Support installation of SICStus in non-standard places. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl configure.ac
by Roberto Bagnara 25 Jan '08

25 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-01-25 19:49:39 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