mainNana - Summary

Membership Info
Project Admin:
1 active member

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

Search in this Group


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 Apr 6 02:44:08 2005
License: Modified BSD License
Development Status: 5 - Production/Stable


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


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 May 10 10:09:02 2012 - 0 replies

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 Jul 17 06:16:52 2005 - 0 replies

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 Apr 11 23:30:38 2005 - 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]
[4 news in archive]

Communication Tools
Mailing Lists Mailing Lists (2 public mailing-lists)

Back to the top

Powered by Savane 3.1-cleanup1