Nana - Summary
This project is part of the GNU Project.
GNU Nana provides improved support for assertion checking, logging and performance measurement. Some nice features include:
1. Use of gdb(1) for logging/assertion checking.
2. Ability to write forall, exists, exists_1 etc in assertions.
3. Support for shortform (interface+contracts).
Registration Date: Wed 06 Apr 2005 02:44:08 AM UTC
License: Modified BSD License
Development Status: 5 - Production/Stable
posted by pjm, Sun 17 Jul 2005 06:16:52 AM UTC - 0 replies
I've imported all the old tarballs up to nana-2.5.tar.gz
posted by pjm, Mon 11 Apr 2005 11:30:38 PM UTC - 0 replies
I'm just starting work on importing the 2.5 tarball into CVS on
Savannah and get things setup. This should be completed today (12-Apr-2005).
The next stage is to see what problems (if any :-) we get during
configuration and installation on recent O/S.
If anyone is available to provide some support feel free
to email me.
[Submit News]
[2 news in archive]


