GNU Nana: improved support for assertion checking and logging in GNU C/C++

GNU Nana is a free library providing improved support for assertion checking (as in assert.h) and logging (printf style debugging) in GNU C and C++. It provides support for some of the ideas of Eiffel, VDM, Z and Anna in GNU C/C++. GNU Nana was developed by Phil Maker.

For full documentation, see the online manual available at


Why is this useful?

Mailing list?

The mailing list for discussion of Nana is <>; you can subscribe automatically by mailing to <>.

Return to GNU's home page.

Please send FSF & GNU inquiries & questions to There are also other ways to contact the FSF.

Please send comments on these web pages to, send other questions to

Copyright (C) 1997, 1998 Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111, USA

Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.

Updated: Last modified: $Date: 2003/10/28 20:27:22 $ $Author: sinuhe $