January 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 23 Jan '08

23 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-23 17:12:16 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_code.m4 interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 Log message: Allow the C interface to build from a "friend" as we can already do in the other interfaces. Revised the "friend" pattern replacements. To generate the new code for the C interface, an extra option has been added that allows for replacing friend classes C_Polyhedron and NNC_Polyhedron without their topology. cpp_friend now gives the C++ name while alt_friend has been changed to give the interface name without the topology (ie only in the case that the friend is a polyhedron). As we already used the alt_friend for the C++ version of the friend class name (now called cpp_friend), this change affected several 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/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/Prolog/ppl_interfa…

1 0

ppl/tests/Polyhedron pointsetpowerset4.cc
by Patricia Hill 23 Jan '08

23 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-23 11:34:13 Modified files: tests/Polyhedron: pointsetpowerset4.cc Log message: Tests 5, 6 and 9 fail for check-int8. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowe…

1 0

ppl/interfaces/Prolog/XSB Makefile.am
by Patricia Hill 23 Jan '08

23 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-23 07:55:29 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Fixed two bugs introduced in previous changes here. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl/interfaces/Java ppl_interface_generator_ja ...
by Patricia Hill 22 Jan '08

22 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-22 21:30:55 Modified files: interfaces/Java: ppl_interface_generator_java_dat.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/Java/tests: ppl_interface_generator_java_test_java.m4 ppl_interface_generator_java_test_java_code.m4 Log message: Just as is already the case for the Prolog interfaces, Java can build a class from a "friend" of that class. E.g., a C_Polyhedron can be built from an NNC_Polyhedron, a Grid, a BD_Shape etc, provided the "friend" exists as one of the instantiations in the configuration. Patches: 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/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl ./INSTALL ./config.guess ./config.sub ./de ...
by Roberto Bagnara 22 Jan '08

22 Jan '08

1 0

ppl/interfaces ppl_interface_generator_common. ...
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 22:52:21 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 Log message: A start on cleaning/tidying some of the m4 code - avoiding generating unwanted whitespace. 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/Prolog/ppl_interfa… 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 21 Jan '08

21 Jan '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-01-21 22:01:16 Modified files: interfaces : ppl_interface_generator_common.m4 interfaces/Prolog/Ciao: Makefile.am ppl_interface_generator_ciao_predicate_check_pl.m4 interfaces/Prolog/SICStus: Makefile.am sp_predicate_check.pl interfaces/Prolog/SWI: Makefile.am swi_predicate_check.pl interfaces/Prolog/XSB: Makefile.am ppl_interface_generator_xsb_predicate_check_P.m4 interfaces/Prolog/tests: Makefile.am ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 ppl_predicate_check_common.pl Log message: The tests for all the interfaces predicates that are generated and were placed in ppl_predicate_check.pl are now generated and split into a number of files; the top-level one is ppl_predicate_test_main.pl and the rest have a name of the form ppl_predicate_test_CLASS.pl where CLASS is the name of an interface class (there is just one file "ppl_predicate_test_Polyhedron.pl" for both the C_Polyhedron and NNC_Polyhedron domains. This resolves a problem when checking the interface predicates for XSB with more than 3 classes where the large generated file caused an error to be thrown. This change has been tested on SWI Prolog, SICStus, XSB and Ciao Prolog with up to 4 (5 if we count C_Polyhedron and NNC_Polyhedron separately) different interface classes. 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/Ciao/Makefi… 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/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pre… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… 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/Makef… 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/ppl_p…

1 0

ppl/utils cm_cleaner.sh cm_splitter.sh
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 16:24:50 Modified files: utils : cm_cleaner.sh cm_splitter.sh Log message: Use `IFS= read -r' instead of a simple `read'. This means that leading blanks and backslashes will no longer be eaten. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/cm_cleaner.sh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/cm_splitter.sh.diff?cvs…

1 0

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
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 16:18:53 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java.m4 Log message: Avoid having whitespace before the file cutting mark. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

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 15:44:20 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc.m4 ppl_interface_generator_ocaml_ml.m4 ppl_interface_generator_ocaml_mli.m4 Log message: Revised the generation of these files so that all type and other class methods are added before the main part of the code so that one class can refer to elements of another class. 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…

1 0