CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-09-19 13:15:13
Modified files: interfaces/Java: ppl_interface_generator_java_procedure_generators.m4 interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 ppl_interface_generator_java_classes_cc_files.m4 interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java.m4 ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common
Log message: Added m4 debug code so as to output a message if the definition of a schematic procedure is missing. Added code for several missing methods: add_disjunct widening_assign @EXTRAPOLATION@_extrapolation_assign Corrected a bug in the code for @LIMITEDBOUNDED@_@WIDENEXPN@_extrapolation_assign where the arguments were inconsistently ordered. Added several tests for the widening and extrapolation code.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_interf... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_interf... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_inte... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_java...