nana-2.5_1.txz


Advertisement

Description

nana - Support for assertion checking and logging using GNU C and GDB

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest amd64
Package filename nana-2.5_1.txz
Package name nana
Package version 2.5
Package release 1
Package architecture amd64
Package type txz
Category devel
Homepage -
License -
Maintainer pjm@gnu.org
Download size 56.51 KB
Installed size 235.26 KB
Nana provides improved support for assertion checking and logging in C, C++
using GDB. In particular it provides:
o Operations can be implemented directly in C or by generating
debugger commands which do the checking and logging only if the
application is run under the debugger. The debugger based calls
require are very space efficient (0 or 1 bytes per call).
o Support for checking real time constraints.
o Support for assertion (invariant checking) including:
+ Space and time efficient (at least versus <assert.h>)
For example: assert(i>=0) uses 53 bytes on a i386 vs
an optimised nana call which uses 10 bytes per call.
+ Checking can be turned on or off at compile or run time.
+ The action taken when an error is detected can be modified
on a global and per/call basis.
o Support for logging (printf style debugging) including:
+ Logging can be turned on and off at compile or run time.
+ Logging to files, processes or circular buffers in memory
with optional time stamping.
o Support for the quantifiers of predicate calculus (forall, exists).
o Support for before and after state saving and checking (x, x').

Alternatives

Package Version Architecture Repository
nana-2.5_1.txz 2.5 i386 FreeBSD Ports Quarterly
nana-2.5_1.txz 2.5 amd64 FreeBSD Ports Quarterly
nana-2.5_1.txz 2.5 i386 FreeBSD Ports Latest
nana - - -

Requires

Name Value
indexinfo = 0.3.1

Download

Type URL
Mirror pkg.freebsd.org
Binary Package nana-2.5_1.txz
Source Package devel/nana

Install Howto

Install nana txz package:

# pkg install nana

See Also

Package Description
nano-4.5.txz Nano's ANOther editor, an enhanced free Pico clone
nano-devel-2.5.3_1.txz Nano's ANOther editor, an enhanced free Pico clone
nanoblogger-3.4.2_1.txz Small weblog engine written in Bash for the command line
nanoblogger-extra-3.4.2_1.txz Extras for nanoblogger, a small weblog engine
nanoflann-1.3.0.txz Header-only library for Nearest Neighbor (NN) search with KD-trees
nanogui-g20180413_4.txz Minimalistic GUI library for OpenGL
nanomsg-1.1.5_1.txz Socket library that provides several common communication patterns
nanosvg-g20190422.txz Simple C++ header-only SVG parser
nant-0.92_2.txz .NET build tool inspired by Ant
narcissu2-1.1.txz Visual novel about an encounter of terminally ill
nas-1.9.4_3.txz Network Audio System
nasawash-0.50.txz Amateur Radio keplerian file cleanup program
nasm-2.14.02,1.txz General-purpose multi-platform x86 and amd64 assembler
nast-0.2.0_5.txz Packet sniffer
nathive-0.924.txz Lightweight image editor
Advertisement
Advertisement