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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 30 14:25:36 2009 +0200

Consider switching to MLGMPIDL for the OCaml interface.

---

TODO | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/TODO b/TODO index 713db37..ee2be4b 100644 --- a/TODO +++ b/TODO @@ -8,6 +8,8 @@ Enhancements for PPL 0.10.1 or later versions Enhancements for PPL 0.11 or later versions ===========================================

+- Consider switching to MLGMPIDL for the OCaml interface + (see https://bugzilla.redhat.com/show_bug.cgi?id=491712). - Reconsider the datatype for the units parameter in the Watchdog constructors: should we prefer an unsigned? - Rename set_rational_sqrt_precision_parameter to