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-gnome
FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
path: root/graphics/telak
Commit message (Expand)AuthorAgeFilesLines
* Remove more tags from pkg-descr files fo the form:dougb2011-10-241-3/+0
* - Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)amdmi32011-09-241-1/+0
* Update to 0.6ehaupt2011-08-293-14/+11
* - Chase the libgcrypt shared lib versionswills2011-07-031-2/+2
* Add LICENSE and remove MD5 sums.ehaupt2011-01-262-1/+2
* Chase security/libgcrypt shlib bump.wxs2010-07-271-2/+2
* Chase the ftp/curl shlib version bump.roam2010-04-031-2/+2
* - update to 1.4.1dinoex2010-03-281-1/+1
* - update to jpeg-8dinoex2010-02-051-1/+1
* - bump all port that indirectly depends on libjpeg and have not yet been bump...dinoex2009-07-311-1/+1
* Mark MAKE_JOBS_SAFEehaupt2009-03-271-0/+1
* Bump the version of the curl shared library after the ftp/curl updateroam2009-01-231-2/+2
* - Bump PORTREVISION due to share library version bump in security/libgcryptrafan2009-01-061-2/+2
* - Remove duplicates from MAKE_ENV after inclusion of CC and CXX in default MA...pav2008-07-251-1/+1
* Bump portrevision due to upgrade of devel/gettext.edwin2008-06-061-1/+1
* Use MASTER_SITE_CRITICALehaupt2008-03-281-3/+2
* - Remove USE_GETOPT_LONG which is a no-op since March 2007pav2008-03-201-1/+0
* Get rid of USE_X_PREFIX.ehaupt2008-03-171-2/+1
* - Update enlightenment-devel and EFL libraries to the latest snapshotstas2008-03-121-1/+1
* Chase libgcrypt library versionarved2008-02-291-2/+2