March 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Added TODO item.
by Abramo Bagnara 31 Mar '09

31 Mar '09

Module: ppl/ppl Branch: master Commit: 53bc728c443c710132e714cf9faae2825890bcf1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53bc728c443c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 16:52:25 2009 +0200 Added TODO item. --- TODO | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/TODO b/TODO index 97027eb..7095ba7 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 =========================================== +- Get rid of ugly assign functions defined in anonymous namespace of + MIP_Problem.cc replacing it with a more general purpose approach. - When the PPL has been configured with CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1" make sure the library initialization procedure checks that the FPU can indeed be controlled, failing if

1 0

[GIT] ppl/ppl(master): Postponed FIXME.
by Abramo Bagnara 31 Mar '09

31 Mar '09

Module: ppl/ppl Branch: master Commit: 265df2a955aa24edb49c42d53f866460ef265308 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=265df2a955aa… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 16:48:05 2009 +0200 Postponed FIXME. --- src/Polyhedron_nonpublic.cc | 8 +++++++- 1 files changed, 7 insertions(+), 1 deletions(-) diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index a1060d9..da60e84 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -650,7 +650,13 @@ PPL::Polyhedron::max_min(const Linear_Expression& expr, // The polyhedron is bounded in the right direction and we have // computed the extremum: write the result into the caller's structures. assert(!first_candidate); - // FIXME(0.10.1): avoid these temporaries, if possible. + // FIXME: avoid these temporaries, if possible. + // This can be done adding an `assign' function working on native + // and checked or an operator= that have on one side a checked and + // on the other a native or checked. + // The reason why now we can't use operator= is the fact that we + // still can have Coefficient defined to mpz_class (and not + // Checked_Number<mpz_class>). ext_n = Coefficient(extremum.get_num()); ext_d = Coefficient(extremum.get_den()); included = ext_included;

1 0

[GIT] ppl/ppl(master): Fixed run_tests make.
by Abramo Bagnara 31 Mar '09

31 Mar '09

Module: ppl/ppl Branch: master Commit: a3eb98fc9cdfc1b2ce00dc6c8b1fb901e4aa5217 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3eb98fc9cdf… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 10:24:49 2009 +0200 Fixed run_tests make. --- tests/BD_Shape/Makefile.am | 2 +- tests/Box/Makefile.am | 2 +- tests/Octagonal_Shape/Makefile.am | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/BD_Shape/Makefile.am b/tests/BD_Shape/Makefile.am index 3a6e92d..34560ac 100644 --- a/tests/BD_Shape/Makefile.am +++ b/tests/BD_Shape/Makefile.am @@ -120,7 +120,7 @@ TESTS = run_tests.stamp .PHONY: run_tests.stamp run_tests.stamp: run_tests - +$(srcdir)/run_tests + +MAKE=$(MAKE) $(srcdir)/run_tests echo "true" >run_tests.stamp chmod +x run_tests.stamp diff --git a/tests/Box/Makefile.am b/tests/Box/Makefile.am index 6ed73cd..ed1bfab 100644 --- a/tests/Box/Makefile.am +++ b/tests/Box/Makefile.am @@ -124,7 +124,7 @@ TESTS = run_tests.stamp .PHONY: run_tests.stamp run_tests.stamp: run_tests - +$(srcdir)/run_tests + +MAKE=$(MAKE) $(srcdir)/run_tests echo "true" >run_tests.stamp chmod +x run_tests.stamp diff --git a/tests/Octagonal_Shape/Makefile.am b/tests/Octagonal_Shape/Makefile.am index 7615cc5..e334116 100644 --- a/tests/Octagonal_Shape/Makefile.am +++ b/tests/Octagonal_Shape/Makefile.am @@ -127,7 +127,7 @@ TESTS = run_tests.stamp .PHONY: run_tests.stamp run_tests.stamp: run_tests - +$(srcdir)/run_tests + +MAKE=$(MAKE) $(srcdir)/run_tests echo "true" >run_tests.stamp chmod +x run_tests.stamp

1 0

Re: [PPL-devel] relocation R_X86_64_32S against `Yap_REGS' can not be used
by Roberto Bagnara 31 Mar '09

31 Mar '09

Basile STARYNKEVITCH wrote: > I was about to send that to ppl-devl@ but then thought that big > attachements would be inappropriate there. Feel free to forward this > message or reply on ppl-devl@ if you wish! > > I am on Debian/Sid/AMD64 > > I just did git pull and > > % git log > commit 2ef13f200169635747af29ad76fdd29efa2d1518 > Author: Roberto Bagnara <bagnara(a)cs.unipr.it> > Date: Mon Mar 30 22:20:12 2009 +0200 > > Version number bumped. The name of the program is Autoconf. > > commit 40af6c2c6af4cf7eb81231e5585ea4663a0fdbad > Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> > Date: Mon Mar 30 23:01:54 2009 +0200 > > Register OCaml interface exceptions; added a few tests. > The interface exceptions should be registered both in the .ml and > .mli files > Added a test for the invalid argument exception (negative space > dimension) > and for the set/reset timeout functions. > > commit 861f99ed46201a87dcd83160cda84d768749e208 > Author: Roberto Bagnara <bagnara(a)cs.unipr.it> > Date: Mon Mar 30 21:29:52 2009 +0200 > > Added one item for PPL 0.11. > > Even after a make distclean; autoreconf; ./confgure > I am getting > % make > make all-recursive > make[1]: Entering directory `/usr/src/Tools/ppl' > Making all in . > [...] > .libs/ppl_prolog_Octagonal_Shape_double.o -Wl,-rpath > -Wl,/usr/src/Tools/ppl/src/.libs -Wl,-rpath > -Wl,/usr/src/Tools/ppl/Watchdog/src/.libs -lYap > ../../../src/.libs/libppl.so > -L/usr/lib/gcc/x86_64-linux-gnu/4.3.3/../../../../lib -L/usr/lib > ../../../Watchdog/src/.libs/libpwl.so /usr/lib/libgmpxx.so > /usr/lib/libgmp.so -L/usr/lib/gcc/x86_64-linux-gnu/4.3.3 -L/lib/../lib > -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-linux-gnu/4.3.3/../../.. > -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-linux-gnu/4.3.3/crtendS.o > /usr/lib/gcc/x86_64-linux-gnu/4.3.3/../../../../lib/crtn.o > -Wl,-soname -Wl,ppl_yap.so -o .libs/ppl_yap.so > /usr/bin/ld: > /usr/lib/gcc/x86_64-linux-gnu/4.3.3/../../../../lib/libYap.a(c_interface.o): > relocation R_X86_64_32S against `Yap_REGS' can not be used when making a > shared object; recompile with -fPIC > /usr/lib/gcc/x86_64-linux-gnu/4.3.3/../../../../lib/libYap.a: could not > read symbols: Bad value > collect2: ld returned 1 exit status > make[6]: *** [ppl_yap.la] Error 1 > make[6]: Leaving directory `/usr/src/Tools/ppl/interfaces/Prolog/YAP' > make[5]: *** [all-recursive] Error 1 > make[5]: Leaving directory `/usr/src/Tools/ppl/interfaces/Prolog' > make[4]: *** [all] Error 2 > make[4]: Leaving directory `/usr/src/Tools/ppl/interfaces/Prolog' > make[3]: *** [all-recursive] Error 1 > make[3]: Leaving directory `/usr/src/Tools/ppl/interfaces' > make[2]: *** [all] Error 2 > make[2]: Leaving directory `/usr/src/Tools/ppl/interfaces' > make[1]: *** [all-recursive] Error 1 > make[1]: Leaving directory `/usr/src/Tools/ppl' > make: *** [all] Error 2 > > This bug seems repeatable. You seem to have a bogus installation of YAP. You can fix that installation or configure with --enable-interfaces so as to exclude the YAP interface. Cheers, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[GIT] ppl/ppl(master): Removed two FIXME(0.10.1) s which have been checked and
by Patricia Hill 31 Mar '09

31 Mar '09

Module: ppl/ppl Branch: master Commit: 707506c9498a885f2c161836739ff5b3c1b5609d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=707506c9498a… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 31 11:13:57 2009 +0100 Removed two FIXME(0.10.1)s which have been checked and for which nothing needs to be done. --- src/Pointset_Powerset.templates.hh | 4 ---- 1 files changed, 0 insertions(+), 4 deletions(-) diff --git a/src/Pointset_Powerset.templates.hh b/src/Pointset_Powerset.templates.hh index e87a16d..effdd6f 100644 --- a/src/Pointset_Powerset.templates.hh +++ b/src/Pointset_Powerset.templates.hh @@ -1199,8 +1199,6 @@ Pointset_Powerset<PS>::pairwise_reduce() { const PS& pj = sj->element(); if (pi.upper_bound_assign_if_exact(pj)) { marked[si_index] = marked[sj_index] = true; - // FIXME(0.10.1): check whether the preservation of reduction was - // actually meant here. new_x.add_non_bottom_disjunct_preserve_reduction(pi); ++deleted; goto next; @@ -1255,8 +1253,6 @@ BGP99_heuristics_assign(const Pointset_Powerset& y, Widening wf) { if (pi.contains(pj)) { PS pi_copy = pi; wf(pi_copy, pj); - // FIXME(0.10.1): check whether the preservation of reduction was - // actually meant here. new_x.add_non_bottom_disjunct_preserve_reduction(pi_copy); marked[i_index] = true; }

1 0

[GIT] ppl/w3ppl(master): Obsolete note removed.
by Roberto Bagnara 31 Mar '09

31 Mar '09

Module: ppl/w3ppl Branch: master Commit: 71572144b7de341a0040af5778de8edebe99b805 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=71572144b7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 31 08:52:28 2009 +0200 Obsolete note removed. --- htdocs/Download/Git.raw | 8 -------- 1 files changed, 0 insertions(+), 8 deletions(-) diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw index 43dc890..24f4af4 100644 --- a/htdocs/Download/Git.raw +++ b/htdocs/Download/Git.raw @@ -51,14 +51,6 @@ For this to work you need to install a reasonably recent version of <A HREF="http://git-scm.com/">Git</A> on your system. - -Note: The following instructions refer to the hostname -<CODE>git.cs.unipr.it</CODE>: if your DNS still does not know about it, -use <CODE>cvs.cs.unipr.it</CODE> meanwhile. - - - - In order to clone the repository of the PPL sources, issue the command

1 0

[GIT] ppl/ppl(master): Disabled some tests on the Alpha.
by Roberto Bagnara 31 Mar '09

31 Mar '09

Module: ppl/ppl Branch: master Commit: aaa333e2ecdaa243a60b647332ff7fb832110163 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aaa333e2ecda… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 31 06:36:04 2009 +0000 Disabled some tests on the Alpha. --- tests/Octagonal_Shape/boundedaffineimage1.cc | 3 +++ tests/Octagonal_Shape/difference1.cc | 3 +++ 2 files changed, 6 insertions(+), 0 deletions(-) diff --git a/tests/Octagonal_Shape/boundedaffineimage1.cc b/tests/Octagonal_Shape/boundedaffineimage1.cc index 236fe56..5052e61 100644 --- a/tests/Octagonal_Shape/boundedaffineimage1.cc +++ b/tests/Octagonal_Shape/boundedaffineimage1.cc @@ -595,7 +595,10 @@ BEGIN_MAIN DO_TEST(test13); DO_TEST(test14); DO_TEST(test15); +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test16); DO_TEST(test17); +#endif DO_TEST(test18); END_MAIN diff --git a/tests/Octagonal_Shape/difference1.cc b/tests/Octagonal_Shape/difference1.cc index 41ae1f4..bce8453 100644 --- a/tests/Octagonal_Shape/difference1.cc +++ b/tests/Octagonal_Shape/difference1.cc @@ -249,7 +249,10 @@ BEGIN_MAIN DO_TEST(test01); DO_TEST(test02); DO_TEST(test03); +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test04); +#endif DO_TEST(test05); DO_TEST(test06); DO_TEST(test07);

1 0

[GIT] ppl/ppl(master): Version number bumped. The name of the program is Autoconf.
by Roberto Bagnara 30 Mar '09

30 Mar '09

Module: ppl/ppl Branch: master Commit: 2ef13f200169635747af29ad76fdd29efa2d1518 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ef13f200169… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 22:20:12 2009 +0200 Version number bumped. The name of the program is Autoconf. --- Watchdog/configure.ac | 2 +- configure.ac | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Watchdog/configure.ac b/Watchdog/configure.ac index 29e2325..fba63d2 100644 --- a/Watchdog/configure.ac +++ b/Watchdog/configure.ac @@ -20,7 +20,7 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://www.cs.unipr.it/ppl/ . */ -# Process this file with autoconf to produce a configure script. +# Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. AC_INIT([the Parma Watchdog Library],[0.5],[bagnara(a)cs.unipr.it],[pwl]) diff --git a/configure.ac b/configure.ac index cfc97cb..9a31ab6 100644 --- a/configure.ac +++ b/configure.ac @@ -20,10 +20,10 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://www.cs.unipr.it/ppl/ . -# Process this file with autoconf to produce a configure script. +# Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library],[0.10.1pre9],[ppl-devel(a)cs.unipr.it],[ppl]) +AC_INIT([the Parma Polyhedra Library],[0.10.1pre10],[ppl-devel(a)cs.unipr.it],[ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Register OCaml interface exceptions; added a few tests.
by Enea Zaffanella 30 Mar '09

30 Mar '09

Module: ppl/ppl Branch: master Commit: 40af6c2c6af4cf7eb81231e5585ea4663a0fdbad URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40af6c2c6af4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 23:01:54 2009 +0200 Register OCaml interface exceptions; added a few tests. The interface exceptions should be registered both in the .ml and .mli files. Added a test for the invalid argument exception (negative space dimension) and for the set/reset timeout functions. --- .../OCaml/ppl_interface_generator_ocaml_ml.m4 | 8 ---- interfaces/OCaml/ppl_ocaml_common.defs.hh | 3 +- interfaces/OCaml/ppl_ocaml_globals.ml | 20 ++++++++++ interfaces/OCaml/ppl_ocaml_globals.mli | 6 +++ interfaces/OCaml/tests/test1.ml | 39 ++++++++++++++------ 5 files changed, 55 insertions(+), 21 deletions(-) diff --git a/interfaces/OCaml/ppl_interface_generator_ocaml_ml.m4 b/interfaces/OCaml/ppl_interface_generator_ocaml_ml.m4 index 7379217..d3d5b5b 100644 --- a/interfaces/OCaml/ppl_interface_generator_ocaml_ml.m4 +++ b/interfaces/OCaml/ppl_interface_generator_ocaml_ml.m4 @@ -37,14 +37,6 @@ m4_include(`ppl_interface_generator_copyright')`'dnl open Gmp include Ppl_ocaml_globals -exception Error of string -let _ = Callback.register_exception "PPL_arithmetic_overflow" (Error "any string") -let _ = Callback.register_exception "PPL_internal_error" (Error "any string") -let _ = Callback.register_exception "PPL_unknown_standard_exception" (Error "any string") -let _ = Callback.register_exception "PPL_not_an_unsigned_exception" (Error "any string") -let _ = Callback.register_exception "PPL_timeout_error" (Error "any string") -let _ = Callback.register_exception "PPL_unexpected_error" (Error "any string") - m4_divert(-1) m4_pushdef(`m4_one_class_code', `type m4_downcase(m4_interface_class$1) ') diff --git a/interfaces/OCaml/ppl_ocaml_common.defs.hh b/interfaces/OCaml/ppl_ocaml_common.defs.hh index a893b20..9b8bbe1 100644 --- a/interfaces/OCaml/ppl_ocaml_common.defs.hh +++ b/interfaces/OCaml/ppl_ocaml_common.defs.hh @@ -199,8 +199,7 @@ catch(std::exception& e) { \ } \ catch(timeout_exception&) { \ reset_timeout(); \ - caml_raise_with_string(*caml_named_value("PPL_timeout_exception"), \ - "timeout expired"); \ + caml_raise_constant(*caml_named_value("PPL_timeout_exception")); \ } \ catch(...) { \ caml_raise_constant(*caml_named_value("PPL_unexpected_error")); \ diff --git a/interfaces/OCaml/ppl_ocaml_globals.ml b/interfaces/OCaml/ppl_ocaml_globals.ml index 1d9fb22..82bbefd 100644 --- a/interfaces/OCaml/ppl_ocaml_globals.ml +++ b/interfaces/OCaml/ppl_ocaml_globals.ml @@ -22,6 +22,26 @@ site: http://www.cs.unipr.it/ppl/ . *) open Gmp +exception PPL_arithmetic_overflow of string +let _ = Callback.register_exception "PPL_arithmetic_overflow" + (PPL_arithmetic_overflow "any string") + +exception PPL_timeout_exception +let _ = Callback.register_exception "PPL_timeout_exception" + (PPL_timeout_exception) + +exception PPL_internal_error of string +let _ = Callback.register_exception "PPL_internal_error" + (PPL_internal_error "any string") + +exception PPL_unknown_standard_exception of string +let _ = Callback.register_exception "PPL_unknown_standard_exception" + (PPL_unknown_standard_exception "any string") + +exception PPL_unexpected_error of string +let _ = Callback.register_exception "PPL_unexpected_error" + (PPL_unexpected_error "any string") + type degenerate_element = Universe | Empty diff --git a/interfaces/OCaml/ppl_ocaml_globals.mli b/interfaces/OCaml/ppl_ocaml_globals.mli index dcc6d22..b0e2e01 100644 --- a/interfaces/OCaml/ppl_ocaml_globals.mli +++ b/interfaces/OCaml/ppl_ocaml_globals.mli @@ -22,6 +22,12 @@ site: http://www.cs.unipr.it/ppl/ . *) open Gmp +exception PPL_arithmetic_overflow of string +exception PPL_timeout_exception +exception PPL_internal_error of string +exception PPL_unknown_standard_exception of string +exception PPL_unexpected_error of string + type degenerate_element = Universe | Empty diff --git a/interfaces/OCaml/tests/test1.ml b/interfaces/OCaml/tests/test1.ml index 62b3571..05626bb 100644 --- a/interfaces/OCaml/tests/test1.ml +++ b/interfaces/OCaml/tests/test1.ml @@ -219,7 +219,7 @@ let congruence1 = (e2, e2 , (Z.from_int 1));; let congruences1 = [e3, e2 , (Z.from_int 20)];; let grid_generator1 = Grid_Point (e3, (Z.from_int 1));; -let mip1 = ppl_new_MIP_Problem 10 constraints1 e3 Maximization;; +let mip1 = ppl_new_MIP_Problem 10 constraints1 e3 Maximization;; let objective_func = ppl_MIP_Problem_objective_function mip1;; print_string_if_noisy "\n";; print_linear_expression objective_func;; @@ -383,6 +383,15 @@ let i = ppl_max_space_dimension() in print_int_if_noisy i;; print_string_if_noisy "\n";; +(* Testing exceptions *) +try + let _ = ppl_new_MIP_Problem_from_space_dimension (-10) + in print_string_if_noisy "Exception test failed" +with Invalid_argument what -> + print_string_if_noisy "Exception test succeeded; caught exception is:\n"; + print_string_if_noisy what; + print_string_if_noisy "\n";; + (* Testing timeouts *) let lower = Coefficient(Gmp.Z.of_int 0) and upper = Coefficient(Gmp.Z.of_int 1) @@ -412,22 +421,30 @@ in ( compute_timeout_hypercube 0 2; ppl_reset_timeout (); print_string_if_noisy "ppl_reset_timeout test succeeded.\n" - with x -> - print_string_if_noisy "ppl_reset_timeout test seems to be failed!\n" - end -(* DEBUGGING - ; + with + | PPL_timeout_exception -> + print_string_if_noisy "ppl_reset_timeout test seems to be failed:\n"; + print_string_if_noisy "Unexpected PPL timeout exception caught.\n" + | _ -> + print_string_if_noisy "ppl_reset_timeout test seems to be failed."; + (* FIXME: print the contents of the exception. *) + print_string_if_noisy "\n" + end; begin try - print_string "\nStarting ppl_set_timeout test:\n"; + print_string_if_noisy "\nStarting ppl_set_timeout test:\n"; ppl_set_timeout 100; compute_timeout_hypercube 0 100; ppl_reset_timeout (); - print_string "ppl_set_timeout test seems to be failed!\n" - with x -> - print_string "ppl_set_timeout test succeded\n" + print_string_if_noisy "ppl_set_timeout test seems to be failed!\n" + with + | PPL_timeout_exception -> + print_string_if_noisy "ppl_set_timeout test succeded\n"; + print_string_if_noisy "Expected PPL timeout exception caught.\n" + | _ -> + print_string_if_noisy "ppl_set_timeout test failed:\n"; + print_string_if_noisy "generic exception caught.\n" end -DEBUGGING *) );; (* Pointset_Powersed_Grid is not enabled by default, the following code is *)

1 0

[GIT] ppl/ppl(master): Added one item for PPL 0.11.
by Roberto Bagnara 30 Mar '09

30 Mar '09

Module: ppl/ppl Branch: master Commit: 861f99ed46201a87dcd83160cda84d768749e208 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=861f99ed4620… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 21:29:52 2009 +0200 Added one item for PPL 0.11. --- TODO | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/TODO b/TODO index ee2be4b..97027eb 100644 --- a/TODO +++ b/TODO @@ -8,6 +8,10 @@ Enhancements for PPL 0.10.1 or later versions Enhancements for PPL 0.11 or later versions =========================================== +- When the PPL has been configured with + CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1" make sure the library initialization + procedure checks that the FPU can indeed be controlled, failing if + that is not the case. - 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

1 0