Module: ppl/ppl Branch: master Commit: d9f5ad39c726c0cd68a395a5ca8a63371c516e71 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9f5ad39c726c...

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Mar 29 11:46:51 2009 +0200

Improved the OCaml interfacing of PPL dimensions and coefficients. Added new helper functions: - value_to_unsigned_native<U_Int> - ppl_dimension_to_value - value_to_ppl_dimension - mpz_ptr_val and mpz_class_val - build_ppl_Variable. Prefer using Val_emptylist to Val_int(0).

---

.../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 104 +++++------ interfaces/OCaml/ppl_ocaml_common.cc | 206 +++++++++----------- interfaces/OCaml/ppl_ocaml_common.defs.hh | 12 +- interfaces/OCaml/ppl_ocaml_common.inlines.hh | 46 ++++- interfaces/OCaml/tests/test1.ml | 8 + 5 files changed, 201 insertions(+), 175 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d9f5ad39c...