November 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java/tests .cvsignore
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:57:49 Added files: interfaces/Java/tests: .cvsignore Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/.cvsign…

1 0

ppl/interfaces/Prolog 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:29:07 Modified files: interfaces/Prolog: Makefile.am Log message: Make the `tests' directory before making the directories of the individual Prolog systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

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 07:55:39 Modified files: tests/Polyhedron: pointsetpowerset1.cc Log message: Added test to show bug in geometrically_equals and geometrically_covers when one of the powersets contains a polyhedron which is not in minimal form and the other is. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowe…

1 0

ppl demos/ppl_lpsol/Makefile.am interfaces/C/M ...
by Roberto Bagnara 14 Nov '06

14 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-14 19:01:30 Modified files: demos/ppl_lpsol: Makefile.am interfaces/C : Makefile.am src : Makefile.am Log message: Define and exploit the right inter-library dependencies. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/Java jni/ppl_java_Polyhedron.cc ...
by Andrea Cimino 14 Nov '06

14 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-14 18:35:12 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: Makefile.am Polyhedron.java Added files: interfaces/Java/ppl_java: Partial_Function.java Log message: First draft implementation for Partial_Function. Implemented the method `map_space_dimension'. 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/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/ppl_java/Part… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

ppl/interfaces/C Makefile.am
by Roberto Bagnara 14 Nov '06

14 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-14 18:29:07 Modified files: interfaces/C : Makefile.am Log message: Ensure that the dependency of libppl_c on libppl is encoded into libppl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 14 Nov '06

14 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-14 18:24:48 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Revised for disjuncts. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 14 Nov '06

14 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-14 17:57:32 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code Log message: Corrected get_disjuncts code in the prolog interface. Added procedure in the prolog interface to call ascii_dump(). Added an extra test (a bounded interval in 1 dimension) to the prolog schematic tests. 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… 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/Java jni/ppl_java_common.cc ppl ...
by Andrea Cimino 14 Nov '06

14 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-14 15:29:49 Modified files: interfaces/Java/jni: ppl_java_common.cc interfaces/Java/ppl_java: Constraint.java interfaces/Java/tests: C_Polyhedron_test1.java Log message: Modified the test to avoid overflows. Modified the constructor of Constraint. 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/Cons… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/C_Polyh…

1 0

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 14 Nov '06

14 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-11-14 14:34:49 Modified files: src : Octagonal_Shape.templates.hh Log message: Corrected the bug on Octagonal_Shape::max_min() when the inhomogeneous term of expression is null. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0