------------------------------------------------------------------------------
TODO:
------------------------------------------------------------------------------

(1) port to alpha (64bit systems in general)
(2) write a script that evaluates the test runs
(3) new allocator with protected (mprotect) internal data

------------------------------------------------------------------------------
(C) 1997-2003 Armin Biere
$Id: TODO,v 1.4 2003/02/03 08:03:54 biere Exp $
------------------------------------------------------------------------------
