mainNana - Summary

 
 
Show feedback again
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 
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]
[2 news in archive]

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

Development Tools
Bug Tracking Bug Tracker (1 open item, 1 total)
  - Browse open items
  - Submit a new item
Task Manager Task Manager (2 open items, 2 total)
  - Browse open items
  - Submit a new item
Patch Manager Patch Manager (0 open items, 0 total)
  - Browse open items
  - Submit a new item
Show feedback again

Back to the top


Powered by Savane 3.1-cleanup