* Nana - improved support for assertions and logging in C and C++.

Nana provides improved support for assertion checking and logging in C, C++
and after a fashion in Ada. It provides:

	o Operations can be implemented directly in C or by generating 
	  debugger commands which do the checking and logging only if the 
	  application is run under the debugger. The debugger based calls
	  require are very space efficient (0 or 1 bytes per call). 


	o Support for assertion (invariant checking) including:
		
		+ Space and time efficient (at least versus <assert.h>)
		  For example: assert(i>=0) uses 53 bytes on a i386 vs 
		  an optimised nana call which uses 10 bytes per call.
		+ Checking can be turned on or off at compile or run time.
		+ The action taken when an error is detected can be modified 
		  on a global and per/call basis.

	o Support for logging (printf style debugging) including:

		+ Logging can be turned on and off at compile or run time.
		+ Logging to files, processes or circular buffers in memory
		  with optional time stamping.

	o Support for the quantifiers of predicate calculus (forall, exists).


* Installation.
Nana uses the standard GNU installation method, e.g.

	% gzcat nana-1.02.tar.gz | tar xvf -
	% cd nana-1.02
	% ./configure
	% make
	% make install
	% make check 
	% make check-mail

	Notes: 

	* the make check follows the install.
	* make uninstall is supported.
	* if you want to install it in your own account use something
	  like: ./configure --prefix=~/local and remember to add
	  ~/local/bin to your path.
	* the check-mail posts off the results of the testing to nana-bug
	using mail. N.B. Some mails don't support the subject field, some
	O/S don't have a command called mail, etc, etc. If so try it by hand
	using the subject of "checkall: passed" or "checkall: failed" with
	the body of the message being the file test/check.log
	      

* Other sources of information.

	./INSTALL		-- a general guide to configure
	./doc/nana.texi
	./doc/nana.info		-- system documentation (includes installation)
	./doc/nana.ps 		-- postscript version of documentation


	<http://www.cs.ntu.edu.au/homepages/pjm/nana-home> -- 
				porting information, bug reports, etc.

Good Luck
P.J.Maker <pjm@cs.ntu.edu.au>
	
