November 2006 - PPL-devel - BUGSENG Mailman

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

24 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-24 13:35:53 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Improved and added tests for the Pointset_Powerset classes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces/Java/tests C_Polyhedron_test1.java
by Andrea Cimino 24 Nov '06

24 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-24 11:16:09 Modified files: interfaces/Java/tests: C_Polyhedron_test1.java Log message: Removed an useless call. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/C_Polyh…

1 0

ppl/interfaces/Java/tests C_Polyhedron_test1.j ...
by Andrea Cimino 24 Nov '06

24 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-24 11:00:34 Modified files: interfaces/Java/tests: C_Polyhedron_test1.java Makefile.am Added files: interfaces/Java/tests: Test_Partial_Function.java Log message: Added a new test that relates to Partial_Function implementation in the Java interface. The written test is based on test03() of mapspacedims1.cc in the test/Polyhedron directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Test_Pa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/C_Polyh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil…

1 0

ppl/interfaces/Java/jni ppl_java_common.cc ppl ...
by Andrea Cimino 24 Nov '06

24 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-24 10:27:03 Modified files: interfaces/Java/jni: ppl_java_common.cc ppl_java_common.hh Log message: Fixed other little errors in Partial_Function caused by a wrong cut and paste. 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_…

1 0

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

24 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-24 09:34:17 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 Log message: Added two predicates for the pointset_powerset domains. ppl_@CLASS@_size/2 and ppl_@CLASS@_iterator_equals_iterator/2. Some tests added to check them. 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…

1 0

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

24 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-24 08:22:32 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Corrected and added extra tests for the pointset_powerset predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Enea Zaffanella 24 Nov '06

24 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-24 00:31:42 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 Log message: Corrected another typo in ppl_*_begin_iterator and ppl_*_end_iterator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Java/jni ppl_java_common.cc ppl ...
by Andrea Cimino 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-23 21:32:59 Modified files: interfaces/Java/jni: ppl_java_common.cc ppl_java_common.hh Log message: Fixed code related to Partial Function. 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_…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Enea Zaffanella 23 Nov '06

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-23 19:59:54 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Further corrected a typo in ppl_*_get_disjunct/2 (test reactivated). Removed now useless code for ppl_*_get_disjuncts/2. 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…

1 0

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

23 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-23 19:07:56 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Disabled *_get_disjunct as it still is buggy. Changed several tests so that they first check the existence of ppl predicates before using them to test the results. These checks now have to be in the generated code as the m4 generation no longer does similar checks. 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/tests/ppl_i…

1 0