Nana - Summary
This software 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, Tue 30 Dec 2014 06:19:03 AM UTC
G'day,
There has been little activity on GNU Nana for the last few years
so I've decided to leave this as a frozen archive. A slowly updating version is available on https://github.com/pjmaker/nana which deals with issues such as 64 bit CPU's and autoconf.
As usual feel free to contact me if you an application or need
some assistance. If there is the interest I'll update my github changes to here eventually.
<philip.maker@gmail.com>
posted by pjm, Thu 10 May 2012 10:09:02 AM UTC
The author has had a few employment conniptions which resulted in loss of access to the archive. These have been resolved so if you are still using Nana or want something done drop me a line on <pjm@gnu.org>.
posted by pjm, Sun 17 Jul 2005 06:16:52 AM UTC
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
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.
- Browse open items
Submit a new item
- Browse open items
Submit a new item
Powered by Savane 3.14-f13d.
Corresponding source code