0
I Use This!
Inactive
Analyzed about 7 hours ago. based on code collected about 7 hours ago.

Project Summary

Nana - a design by contract framework for C/C++

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

Tags

No tags have been added

In a Nutshell, nana-savannah...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

Languages?height=75&width=75
Assembly
29%
Make
20%
HTML
17%
9 Other
34%

30 Day Summary

Feb 28 2020 — Mar 29 2020

12 Month Summary

Mar 29 2019 — Mar 29 2020

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!