October 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Ciao/ppl_interface_gener ...
by Patricia Hill 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-02 16:40:45 Modified files: interfaces/Prolog/Ciao: ppl_interface_generator_ciao_predicate_check_pl.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 Log message: Changed these interface_generator files for the test code to require the m4 command to include --prefix-builtin. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-02 16:33:42 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/C : ppl_interface_generator_c_cc.m4 ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_dat.m4 ppl_interface_generator_c_h.m4 ppl_interface_generator_c_h_code.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc.m4 ppl_interface_generator_prolog_icc_code.m4 ppl_interface_generator_prolog_systems.m4 interfaces/Prolog/Ciao: ppl_interface_generator_ciao_pl.m4 interfaces/Prolog/GNU: ppl_interface_generator_gprolog_pl.m4 interfaces/Prolog/SICStus: ppl_interface_generator_sicstus_sd_cc.m4 interfaces/Prolog/SWI: ppl_interface_generator_swiprolog_cc.m4 interfaces/Prolog/XSB: ppl_interface_generator_xsb_H.m4 ppl_interface_generator_xsb_cc.m4 ppl_interface_generator_xsb_predicate_check_P.m4 interfaces/Prolog/YAP: ppl_interface_generator_yap_cc.m4 Log message: Changed all the built-ins for the m4 code for generating the interfaces from builtin to m4_builtin. Note that the built-in dnl is unchanged; instead, I have added define(`dnl', `m4_dnl') at the start of the main files. 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/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… 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/Prolog/ppl_interfa… 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/ppl_interfa… 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/Ciao/ppl_in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_int…

1 0

ppl/interfaces/Prolog tests/pl_check.pl Ciao/p ...
by Patricia Hill 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-02 14:33:27 Modified files: interfaces/Prolog/tests: pl_check.pl Added files: interfaces/Prolog/Ciao: ppl_interface_generator_ciao_predicate_check_pl.m4 interfaces/Prolog/XSB: ppl_interface_generator_xsb_predicate_check_P.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 Log message: interface generator code for generating a test file for all predicates for all the required classes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-02 14:30:02 Modified files: interfaces : ppl_interface_generator_common.m4 interfaces/Prolog: ppl_interface_generator_prolog_systems.m4 Log message: Comments corrected and allow for a default code that is needed for the tests. 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/Prolog/ppl_interfa…

1 0

ppl configure.ac
by Roberto Bagnara 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-02 11:57:22 Modified files: . : configure.ac Log message: Generate the Grid interfaces by default. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces Makefile.am OCaml/ppl_ocaml.cc ...
by Roberto Bagnara 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-02 11:36:21 Modified files: interfaces : Makefile.am interfaces/OCaml: ppl_ocaml.cc interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 Log message: Fixed the generalized image predicated for Grid. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Enea Zaffanella 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-02 11:13:41 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Corrected the interfacing of Grid::generalized_affine_[pre]image*. Patches: 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/ppl_interfa…

1 0

ppl/src BD_Shape.templates.hh
by Elena Mazzi 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-02 10:56:51 Modified files: src : BD_Shape.templates.hh Log message: Improved the method: BD_Shape::is_disjoint_from(const BD_Shape& y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Roberto Bagnara 02 Oct '06

02 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-02 09:31:55 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 ppl_interface_generator_prolog_icc_preamble Log message: term_to_relation_symbol() revised. Patches: 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/ppl_interfa…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Enea Zaffanella 01 Oct '06

01 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-01 22:33:47 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_preamble Log message: Corrected order of arguments in ppl_new_LP_Problem_from_space_dimension/2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0