mainNana - Summary

Membership Info
Group Admin:
1 active member

Group identification
Id: 7484
System Name: nana
Name: Nana
Group Type: Official GNU software

Search in this Group


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


Latest News rss feed
GNU Nana project + github
     posted by pjm, Tue 30 Dec 2014 06:19:03 AM UTC


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 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.


Nana work
     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 <>.

Import of Nana 2.5, etc complete.
     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

GNU Nana 2.5 import into Savannah
     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.

Quick Overview
 Memberlist (1 member)

Communication Tools
 Mailing Lists (2 public mailing lists)

Development Tools
 Task Manager (open items: 2, total: 2)
 Patch Manager (open items: 0, total: 0)

Back to the top

Powered by Savane 3.13-4b48.
Corresponding source code