ANN: GNU Nana 2.2 released 
Author Message
 ANN: GNU Nana 2.2 released

    GNU Nana 2.2: improved support for assertions and logging and ...

GNU Nana is a Free C/C++ library which provides improved support
for assertion checking and logging in GNU C/C++. Features include:

  * assertion checking: space/time efficient (1 byte vs 28..47 bytes)
  * quantifiers: forall, exists, exists one, ...
  * quantifiers over Standard Template Library (STL) container classes.
  * before/after state: assertions can refer to previous values
    of variables (x, x').
  * logging to files, circular buffers or processes with run and compile
    time selection.
  * shortform to HTML generation (a shortform is the program minus the
    actual implementation, i.e. types+pre/post conditions).
  * real time support using both real and simulated hardware.

For more information: < http://www.*-*-*.com/ ;

Where is it: <ftp://ftp.cs.ntu.edu.au/pub/nana/nana-2.2.tar.gz>


--

< http://www.*-*-*.com/ ;       you didn't understand the
NTU, Darwin, Northern Territory, Australia.     question -- Peter Blake



Sat, 24 Mar 2001 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. ANN: XML Cooktop 2.200

2. FAQ 2.1 and 2.2: typedef- question

3. K&R Chapter 2.2

4. WTB: MS C 5.1 and 6.0, VC++ 1.0,1.2,2.2

5. Looking for Microsoft Visual C++ 2.2 or 2.1

6. Micro Visual C++ 2.2, 2.1

7. Differences in linux firewalls 2.2 vs 2.4

8. Can't run VC 2.2 or 4.0 with Win95

9. cc on 2.3.2 Xenix with 2.2 Devel Sys

10. 32-bit VC 2.2 DLLs with 32-bit VB4

11. WTB: Microsoft Visual C++ 2.2 and/or Windows 95 SDK

 

 
Powered by phpBB® Forum Software