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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jul 12 11:48:29 2009 +0200

Item improved.

---

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

diff --git a/NEWS b/NEWS index 15fd2ae..dec828b 100644 --- a/NEWS +++ b/NEWS @@ -10,7 +10,7 @@ NEWS for version 0.11 (released date to be decided) New and Changed Features ========================

-o Implementation of general (NNC) polyhedra speeded up. +o Implementation of general (C and NNC) polyhedra speeded up.

o When the PPL has been configured with CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1", the library initialization