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

in
   

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

 

Latest News 
Nana work
     posted by pjm, Thu 10 May 2012 10:09:02 AM UTC - 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 <pjm@gnu.org>.

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

GNU Nana 2.5 import into Savannah
     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]
[3 news in archive]

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

Back to the top


Powered by Savane 3.1-cleanup