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 ) 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'). Phil Maker /freebsd-ports-graphics/'>freebsd-ports-graphics
FreeBSD graphics obsolete development ports (https://github.com/freebsd/freebsd-ports-graphics)
aboutsummaryrefslogtreecommitdiffstats
path: root/x11/kde4
Commit message (Expand)AuthorAgeFilesLines
* portlint (whitespace and variable ordering)mharo2000-04-201-3/+3
* Update to use PORTNAME/PORTVERSIONcpiazza2000-04-141-2/+2
* Bump shlib versions of kdelibs11 and kdesupport11.asami2000-02-241-1/+1
* Update to KDE-1.1.2se1999-09-181-1/+1
* $Id$ -> $FreeBSD$peter1999-08-311-1/+1
* Change all permutations in capitalization of "asami@freebsd.org" toasami1999-06-221-2/+2
* Upgrade KDE to Release 1.1.1.se1999-05-041-2/+2
* Upgrade to KDE 1.1 RELEASE.se1999-02-091-2/+2
* Upgrade to KDE-1.1pre2 ...se1999-02-071-2/+2
* Make dependency lines point to right directories -- they were stillasami1999-01-081-8/+8
* Upgrade to the first pre-release of KDE 1.1.se1999-01-071-4/+2
* Mark these broken while Stefan works on an upgrade.asami1999-01-061-1/+3
* Elfifybrian1998-10-021-4/+2
* Mark all KDE ports BROKEN for ELF.jseger1998-09-301-1/+3
* Upgrade to KDE Release 1.0se1998-07-141-4/+4
* Remove NO_CONFIGURE and NO_PATCH, they never meant anything.asami1998-06-271-2/+1
* Re-enable build of kdenetworkse1998-05-221-3/+3
* Enable kdegames and kdegraphicsse1998-05-101-3/+3
* Update to KDE Beta4.se1998-04-281-7/+7
* Update package name to reflect we are at Beta3 ...se1998-03-051-2/+2
* Enable compilation of kdenetwork port.se1998-03-051-2/+2
* Fix kdecore shlib version number.asami1998-02-261-2/+2
* Add kdegraphicsse1998-02-211-1/+2
* Add kdemultimedia.asami1997-12-261-1/+2
* Fix DISTNAME: We have been at Beta2.1 for some time alreadyse1997-12-241-2/+2
* Enter myself as MAINTAINER of this port.se1997-11-271-6/+5