Skip to content
Nana - a design by contract framework for C/C++
Assembly Makefile TeX C Shell Elixir Other
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
autom4te.cache Fixed various \ escape errors (at least for now) Dec 28, 2014
doc Updated the manual page and added the pdf Jan 3, 2015
emacs Fixed various \ escape errors (at least for now) Dec 28, 2014
examples Fixed various \ escape errors (at least for now) Dec 28, 2014
gdb Fixed various \ escape errors (at least for now) Dec 28, 2014
man Fixed various \ escape errors (at least for now) Dec 28, 2014
perf Updated performance measurement shell so \n escaping works properly Jan 2, 2015
shortform Fixed various \ escape errors (at least for now) Dec 28, 2014
src Fixed various \ escape errors (at least for now) Dec 28, 2014
test Upgrade (well antigrade) to test suite allowing for the old gammon te… Jan 2, 2015
ANNOUNCE Copied version 2.5 of GNU Nana into the git archive. Dec 24, 2014
AUTHORS Added AUTHORS Jan 14, 2015
COPYING Copied version 2.5 of GNU Nana into the git archive. Dec 24, 2014
ChangeLog Copied version 2.5 of GNU Nana into the git archive. Dec 24, 2014
INSTALL Copied version 2.5 of GNU Nana into the git archive. Dec 24, 2014
INSTALL.con Copied version 2.5 of GNU Nana into the git archive. Dec 24, 2014
LICENSE Initial commit Dec 23, 2014
Makefile Fixed various \ escape errors (at least for now) Dec 28, 2014
Makefile.am Minor fixlets for an initial release. Dec 26, 2014
Makefile.in Tidyup of configure Dec 26, 2014
NEWS NEWS updated Dec 26, 2014
PROJECTS Minor fixlets for an initial release. Dec 26, 2014
README Copied version 2.5 of GNU Nana into the git archive. Dec 24, 2014
README.md README update Jan 4, 2015
THANKS Copied version 2.5 of GNU Nana into the git archive. Dec 24, 2014
TODO Copied version 2.5 of GNU Nana into the git archive. Dec 24, 2014
aclocal.m4 Changes for performance measurement Dec 27, 2014
acnana.m4 Fixed various \ escape errors (at least for now) Dec 28, 2014
compile Added some shell support for configure Dec 26, 2014
config.guess Copied version 2.5 of GNU Nana into the git archive. Dec 24, 2014
config.log Fixed various \ escape errors (at least for now) Dec 28, 2014
config.status Fixed various \ escape errors (at least for now) Dec 28, 2014
config.sub Minor fixlets for an initial release. Dec 26, 2014
configure Changes for performance measurement Dec 27, 2014
configure.ac Added 64 bit cpu support to autoconf Jan 2, 2015
configure.in~ Fixed various \ escape errors (at least for now) Dec 28, 2014
depcomp Added some shell support for configure Dec 26, 2014
install-sh Copied version 2.5 of GNU Nana into the git archive. Dec 24, 2014
missing Updated the missing tool for new options Jan 4, 2015
mkinstalldirs Copied version 2.5 of GNU Nana into the git archive. Dec 24, 2014
showconfig.c Copied version 2.5 of GNU Nana into the git archive. Dec 24, 2014
test-driver Added some shell support for configure Dec 26, 2014

README.md

nana

Nana is developer/testing tool for C/C++ which supports design by contract using a mix of code and GDB debugger support. It intended to be used for:

  • Safety critical or high reliability systems.
  • Embedded systems where the GDB.

Some of its benefits are space and time efficency, e.g.the default assert(i>=10) implementation on an i386 uses 52 bytes vs 10 bytes for nana inline checks (or 1 byte if you are using GDB based assertion checking).

Specific parts of the library require GNU CC extensions but it works under clang as well. A standards compliant version mostly excludes the quanitifers forall (A), exists (E), etc.

You can’t perform that action at this time.