September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Enea Zaffanella 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-17 16:16:51 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 Log message: No longer using Polyhedron::topology() to query for topology of a Polyhedron; use new function Interfaces::is_necessarily_closed_for_interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-17 16:14:12 Modified files: src : Polyhedron.defs.hh Log message: Temporarily let topology() be public again. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.inlines.hh
by Enea Zaffanella 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-17 15:59:40 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Log message: Befriend new function Interfaces::is_necessarily_closed_for_interfaces(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src namespaces.hh
by Enea Zaffanella 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-17 15:58:20 Modified files: src : namespaces.hh Log message: Added namespace for C++ functions dedicated to foreign language interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/namespaces.hh.diff?cvsroo…

1 0

ppl README.configure
by Roberto Bagnara 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-17 14:28:58 Modified files: . : README.configure Log message: Updated the documentation about using the Intel C/C++ compiler. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl/tests/Powerset simplifyusingcontext1.cc
by Roberto Bagnara 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-17 14:15:05 Modified files: tests/Powerset : simplifyusingcontext1.cc Log message: Use better variable names and avoid variable shadowing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/simplifyusingc…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-17 14:10:01 Modified files: src : Polyhedron.inlines.hh Log message: Avoid unnecessary opening and closing of namespaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/interfaces/OCaml/tests ppl_interface_gener ...
by Patricia Hill 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-17 13:47:09 Modified files: interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 Log message: Use refine_with rather than add for constructing domains. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_in…

1 0

ppl/interfaces/OCaml Makefile.am ppl_interface ...
by Patricia Hill 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-17 13:35:22 Modified files: interfaces/OCaml: Makefile.am ppl_interface_generator_ocaml_cc.m4 ppl_interface_generator_ocaml_cc_code.m4 Added files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_files.m4 ppl_interface_generator_ocaml_hh_code.m4 ppl_interface_generator_ocaml_hh_files.m4 Log message: Enable the generation of files for separate compilation. The code in ppl_interface_generator_ocaml_cc_code.m4 has been separated into the access code that is now in ppl_interface_generator_ocaml_hh_code.m4 and the rest that defines the schematic methods for all the domains. 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/Makefile.am.… 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/Java jni/ppl_interface_generato ...
by Andrea Cimino 17 Sep '08

17 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-17 13:02:45 Modified files: interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 ppl_interface_generator_java_ppl_java_classes_cc_code.m4 ppl_java_common.cc ppl_java_common.hh interfaces/Java/parma_polyhedra_library: PPL_Object.java interfaces/Java/tests: ppl_interface_generator_java_test_java.m4 ppl_interface_generator_java_test_java_code.m4 Log message: The Java interfaces uses now marked pointers to detect if a C++ object should be deleted. Added some tests to test get_disjunct, needed to check the code described above. Patches: 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/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed… 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