[PPL-devel] ppl/interfaces/OCaml ppl_interface_generator_o ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-08-19 15:08:34

Modified files:
	interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 
	                  ppl_interface_generator_ocaml_ml_code.m4 
	                  ppl_interface_generator_ocaml_mli_code.m4 
	interfaces/OCaml/tests: 
	                        ppl_interface_generator_ocaml_test_ml_code.m4 
	                        ppl_ocaml_tests_common test1.ml 

Log message:
	Added code for generating some missing methods;
	fixed some bugs in the ocaml interface code;
	extended the generated tests to cover most methods:
	tests for special methods for the powerset domains still missing.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4.diff?cvsroot=ppl&r1=1.34&r2=1.35
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_ml_code.m4.diff?cvsroot=ppl&r1=1.31&r2=1.32
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_mli_code.m4.diff?cvsroot=ppl&r1=1.23&r2=1.24
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml_code.m4.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_ocaml_tests_common.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.ml.diff?cvsroot=ppl&r1=1.7&r2=1.8