September 2008 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron_public.cc
by Enea Zaffanella 16 Sep '08

16 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-16 08:05:59 Modified files: src : Polyhedron_public.cc Log message: Minor simplification in the control path. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src BD_Shape.inlines.hh Octagonal_Shape.in ...
by Enea Zaffanella 16 Sep '08

16 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-16 08:04:44 Modified files: src : BD_Shape.inlines.hh Octagonal_Shape.inlines.hh Log message: Avoid a warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h…

1 0

ppl/interfaces/Java/jni ppl_java_globals.cc
by Andrea Cimino 15 Sep '08

15 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-16 01:35:25 Modified files: interfaces/Java/jni: ppl_java_globals.cc Log message: Avoid, when possible, long lines to comply to STANDARDS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Andrea Cimino 15 Sep '08

15 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-16 01:27:25 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 ppl_java_common.cc ppl_java_common.hh ppl_java_globals.cc Log message: Let `get_ptr' return a pointer instead of a jlong in order to simplify the implementation of marked pointers. 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_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/jni/ppl_java_…

1 0

ppl configure.ac
by Patricia Hill 15 Sep '08

15 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-15 22:32:01 Modified files: . : configure.ac Log message: Removed a line added in previous commit so as to enable the build. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl src/Polyhedron_public.cc tests/Polyhedron/ ...
by Patricia Hill 15 Sep '08

15 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-15 21:51:44 Modified files: src : Polyhedron_public.cc tests/Polyhedron: boundedaffineimage1.cc Log message: Fixed bug shown by test07 in tests/Polyhedron/boundedaffineimage1.cc Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffin…

1 0

ppl/tests/Polyhedron boundedaffineimage1.cc
by Patricia Hill 15 Sep '08

15 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-15 21:35:18 Modified files: tests/Polyhedron: boundedaffineimage1.cc Log message: test07 added that shows an assertion failure in refine_no_check. The call to this test temporarily commented out. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffin…

1 0

ppl ./configure.ac interfaces/Prolog/SWI/Makef ...
by Roberto Bagnara 15 Sep '08

15 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-15 21:04:17 Modified files: . : configure.ac interfaces/Prolog/SWI: Makefile.am Log message: Added missing -dlopen for target predicate_check_test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/interfaces Java/jni/ppl_interface_generato ...
by Patricia Hill 15 Sep '08

15 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-15 17:30:45 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 Log message: Completed changes reported in previous commit. 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/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/OCaml/tests/ppl_in…

1 0

ppl interfaces/ppl_interface_generator_common_ ...
by Patricia Hill 15 Sep '08

15 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-15 17:13:35 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_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_cc_code.m4 ppl_interface_generator_prolog_cc_files.m4 ppl_interface_generator_prolog_hh_code.m4 interfaces/Prolog/SICStus: sp_predicate_check.pl interfaces/Prolog/XSB: xsb_pl_check.P interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_predicate_check_common.pl src : Polyhedron.defs.hh Log message: The method topology() made public. The code for upper_bound_assign_if_exact() added to the C interface. The predicates for the same methods in the Prolog interface now no longer need the topology (for the Polyhedron class) in the name. The schematic procedure name for these procedures also no longer has the topology and therefore the use of these in the other interfaces (Java and OCaml) has also been adapted. Some updating of the Prolog interface files for other recent changes. 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/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/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/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/SICStus/sp_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0