November 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Patricia Hill 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-15 12:10:25 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java.m4 ppl_interface_generator_java_classes_java_code.m4 Log message: Generate annotated methods so that file can be split. Note that the preamble with copyright info and package declaration have been omitted and these need to be added to the start of each of the split files. Patches: 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/ppl_java/ppl_…

1 0

ppl/interfaces/Java jni/ppl_java_C_Polyhedron. ...
by Andrea Cimino 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-15 11:33:57 Modified files: interfaces/Java/jni: ppl_java_C_Polyhedron.cc interfaces/Java/ppl_java: C_Polyhedron.java Makefile.am Added files: interfaces/Java/ppl_java: Degenerate_Element.java Log message: Added the Degenerate_Element enum to the Java interface. Defined and implemented the constructor C_Polyhedron(long dim, Degenerate_Element kind). Patches: 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/ppl_java/Dege… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/C_Po… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-15 10:52:07 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code Log message: Revised and corrected some tests. Patches: 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/src Grid_public.cc Grid_widenings.cc
by Patricia Hill 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-15 10:42:46 Modified files: src : Grid_public.cc Grid_widenings.cc Log message: Corrected bugs found in is_disjoint(), intersection_assign() and generator_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv…

1 0

ppl/tests/Grid disjoint1.cc intersection1.cc w ...
by Patricia Hill 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-15 10:41:39 Modified files: tests/Grid : disjoint1.cc intersection1.cc widening2.cc Log message: Added tests showing bugs in the is_disjoint() intersection_assign() and generator_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/disjoint1.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/intersection1.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening2.cc.diff?…

1 0

ppl/m4 ac_prog_java.m4
by Andrea Cimino 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-15 10:12:07 Modified files: m4 : ac_prog_java.m4 Log message: Avoid configure warnings during Java environment checking. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_prog_java.m4.diff?cvsro…

1 0

ppl/interfaces/Java/ppl_java Makefile.am
by Roberto Bagnara 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-15 09:29:23 Modified files: interfaces/Java/ppl_java: Makefile.am Log message: Just for test purposes, automatically generate Polyhedron1.java. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl/tests/Polyhedron pointsetpowerset1.cc
by Patricia Hill 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-15 09:10:10 Modified files: tests/Polyhedron: pointsetpowerset1.cc Log message: Last 2 tests added in previous commit are known to fail. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowe…

1 0

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Roberto Bagnara 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-15 09:00:56 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java.m4 Log message: Inclusions fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

ppl/interfaces/Java Makefile.am
by Roberto Bagnara 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-15 08:59:41 Modified files: interfaces/Java: Makefile.am Log message: Distribute ppl_interface_generator_java_dat.m4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.d…

1 0