Module: ppl/ppl Branch: master Commit: af093875852581a53d324323c4dad09206cc71cf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af09387585258...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Aug 19 12:22:10 2011 +0200
Item revised.
---
TODO | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/TODO b/TODO index 0023df5..134fea1 100644 --- a/TODO +++ b/TODO @@ -12,8 +12,8 @@ Enhancements for PPL 0.12 or later versions - Make the library thread-safe. - Modify the Makefile.am's to extend silent mode to our own rules. - Reduce the number of FIXMEs to no more than 20. -- Consider switching to MLGMPIDL for the OCaml interface - (see https://bugzilla.redhat.com/show_bug.cgi?id=491712). +- Base the OCaml interface on Zarith + (http://forge.ocamlcore.org/projects/zarith/) instead of MLGMP. - Improve the OCaml interface by supporting dynamic loading. - Enhance the support for systems not providing support for the IEEE inexact flag.