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

Author: Abramo Bagnara abramo.bagnara@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