nobug
10 years agoAnother asciidoc.pawk change
Christian Thaeter [Tue, 17 Aug 2010 17:56:46 +0000 (19:56 +0200)]
Another asciidoc.pawk change

10 years agochange link coolors
Christian Thaeter [Tue, 17 Aug 2010 15:16:56 +0000 (17:16 +0200)]
change link coolors

10 years agoconvert table-legend to footnotes in the annotations table
Christian Thaeter [Tue, 17 Aug 2010 15:15:02 +0000 (17:15 +0200)]
convert table-legend to footnotes in the annotations table

10 years agoMerge remote branch 'mob/pseudoruprecht/latexbackend' into devel
Christian Thaeter [Tue, 17 Aug 2010 14:27:14 +0000 (16:27 +0200)]
Merge remote branch 'mob/pseudoruprecht/latexbackend' into devel

* mob/pseudoruprecht/latexbackend:
  AsciiDoc/LaTeX: use package microtype to make typeset output prettier
  AsciiDoc/LaTeX: set link colors in PDF to cyan

10 years agowe don't want colons generated by latex.conf
Christian Thaeter [Tue, 17 Aug 2010 14:26:52 +0000 (16:26 +0200)]
we don't want colons generated by latex.conf

10 years agoadd empty lines before literal paragraphs
Christian Thaeter [Tue, 17 Aug 2010 14:20:07 +0000 (16:20 +0200)]
add empty lines before literal paragraphs

10 years agoAsciiDoc/LaTeX: use package microtype to make typeset output prettier
Andreas Hermann Braml [Tue, 17 Aug 2010 14:05:58 +0000 (16:05 +0200)]
AsciiDoc/LaTeX: use package microtype to make typeset output prettier

10 years agoAsciiDoc/LaTeX: set link colors in PDF to cyan
Andreas Hermann Braml [Tue, 17 Aug 2010 14:00:37 +0000 (16:00 +0200)]
AsciiDoc/LaTeX: set link colors in PDF to cyan

10 years agoMerge remote branch 'mob/pseudoruprecht/latexbackend' into devel
Christian Thaeter [Tue, 17 Aug 2010 13:58:54 +0000 (15:58 +0200)]
Merge remote branch 'mob/pseudoruprecht/latexbackend' into devel

* mob/pseudoruprecht/latexbackend:
  AsciiDoC/LaTeX: add package cmap to fix search in generated PDF

10 years agofix INDEX syntax glitches with empty lines
Christian Thaeter [Tue, 17 Aug 2010 13:57:46 +0000 (15:57 +0200)]
fix INDEX syntax glitches with empty lines

10 years agoWIP: remove the text from a hypertarget
Christian Thaeter [Tue, 17 Aug 2010 13:56:55 +0000 (15:56 +0200)]
WIP: remove the text from a hypertarget

maybe we have to fix this later, in cases where the text is needed
but falling back to a default was bad for invisible anchors

10 years agoanother try on asciidoc.pawk, generating an explicit id
Christian Thaeter [Tue, 17 Aug 2010 13:55:14 +0000 (15:55 +0200)]
another try on asciidoc.pawk, generating an explicit id

we may factor id generation into a function later, possibly
invent a encoding scheme which preserves sort order

10 years agodont make 'Index' a specialsection because we will generat our own index
Christian Thaeter [Tue, 17 Aug 2010 13:22:49 +0000 (15:22 +0200)]
dont make 'Index' a specialsection because we will generat our own index

10 years agoMerge branch 'devel' into latex
Andreas Hermann Braml [Tue, 17 Aug 2010 00:02:48 +0000 (02:02 +0200)]
Merge branch 'devel' into latex

10 years agosome pending cosmetics
Christian Thaeter [Mon, 16 Aug 2010 23:48:47 +0000 (01:48 +0200)]
some pending cosmetics

10 years agoremove spaces from hyperref identifiers instead using __
Christian Thaeter [Mon, 16 Aug 2010 23:48:23 +0000 (01:48 +0200)]
remove spaces from hyperref identifiers instead using __

10 years agocolspec fix, new asciidoc table syntax
Christian Thaeter [Mon, 16 Aug 2010 23:47:51 +0000 (01:47 +0200)]
colspec fix, new asciidoc table syntax

10 years agoRemove .idx generation we create a custom index later
Christian Thaeter [Mon, 16 Aug 2010 23:47:08 +0000 (01:47 +0200)]
Remove .idx generation we create a custom index later

10 years agoAsciiDoC/LaTeX: add package cmap to fix search in generated PDF
Andreas Hermann Braml [Mon, 16 Aug 2010 20:53:53 +0000 (22:53 +0200)]
AsciiDoC/LaTeX: add package cmap to fix search in generated PDF

10 years agoMerge remote branch 'mob/pseudoruprecht/latexbackend' into devel
Christian Thaeter [Mon, 16 Aug 2010 20:51:18 +0000 (22:51 +0200)]
Merge remote branch 'mob/pseudoruprecht/latexbackend' into devel

* mob/pseudoruprecht/latexbackend:
  AsciiDoc/LaTeX: Fix escapes
  AsciiDoc/LaTeX: Use thempfootnote counter in tables

10 years agomakefile targets for toc and index generation (incomplete)
Christian Thaeter [Mon, 16 Aug 2010 20:50:16 +0000 (22:50 +0200)]
makefile targets for toc and index generation (incomplete)

10 years agoAsciiDoc/LaTeX: Fix escapes
Andreas Hermann Braml [Mon, 16 Aug 2010 20:01:26 +0000 (22:01 +0200)]
AsciiDoc/LaTeX: Fix escapes

10 years agoAsciiDoc/LaTeX: Use thempfootnote counter in tables
Andreas Hermann Braml [Mon, 16 Aug 2010 19:49:30 +0000 (21:49 +0200)]
AsciiDoc/LaTeX: Use thempfootnote counter in tables

10 years agofix index/anchor generation, anchors must be after the target header
Christian Thaeter [Mon, 16 Aug 2010 19:46:16 +0000 (21:46 +0200)]
fix index/anchor generation, anchors must be after the target header

10 years agomove abstact, motto and toc to the manual config file
Christian Thaeter [Mon, 16 Aug 2010 19:19:09 +0000 (21:19 +0200)]
move abstact, motto and toc to the manual config file

10 years agoWork on latex tables, allowing footnotes
Christian Thaeter [Mon, 16 Aug 2010 19:18:16 +0000 (21:18 +0200)]
Work on latex tables, allowing footnotes

still ugly aligned, but it works basically

10 years agofix passthrough for __foo__ texts
Christian Thaeter [Mon, 16 Aug 2010 14:59:44 +0000 (16:59 +0200)]
fix passthrough for __foo__ texts

10 years agoFIX: pipadoc index generation, replace non alnum chars with '__'
Christian Thaeter [Mon, 16 Aug 2010 12:21:04 +0000 (14:21 +0200)]
FIX: pipadoc index generation, replace non alnum chars with '__'

10 years agoMerge branch 'benny2' of git://git.pipapo.org/mob/nobug into devel
Christian Thaeter [Mon, 16 Aug 2010 10:50:48 +0000 (12:50 +0200)]
Merge branch 'benny2' of git://git.pipapo.org/mob/nobug into devel

* 'benny2' of git://git.pipapo.org/mob/nobug:
  Minor language chages.
  Minor corrections to language: Coverage Macros.
  Minor changes to language.
  Minor language corrections.
  Minor corrections to language.
  Minor language corrections: Macros on Fauslt Injection.

10 years agoMinor language chages.
Benny Lyons [Sun, 15 Aug 2010 20:29:20 +0000 (22:29 +0200)]
Minor language chages.

10 years agoMinor corrections to language: Coverage Macros.
Benny Lyons [Sun, 15 Aug 2010 20:13:23 +0000 (22:13 +0200)]
Minor corrections to language: Coverage Macros.

10 years agoMinor changes to language.
Benny Lyons [Sun, 15 Aug 2010 20:07:56 +0000 (22:07 +0200)]
Minor changes to language.

10 years agoMinor language corrections.
Benny Lyons [Sun, 15 Aug 2010 19:59:12 +0000 (21:59 +0200)]
Minor language corrections.

10 years agoMinor corrections to language.
Benny Lyons [Sun, 15 Aug 2010 19:53:26 +0000 (21:53 +0200)]
Minor corrections to language.

10 years agoMinor language corrections: Macros on Fauslt Injection.
Benny Lyons [Sun, 15 Aug 2010 19:35:27 +0000 (21:35 +0200)]
Minor language corrections: Macros on Fauslt Injection.

10 years agomake the generated .tex file precious for easier debugging
Christian Thaeter [Sun, 15 Aug 2010 16:13:45 +0000 (18:13 +0200)]
make the generated .tex file precious for easier debugging

10 years agoMerge branch 'pseudoruprecht/latexbackend' of git://git.pipapo.org/mob/nobug into...
Christian Thaeter [Sun, 15 Aug 2010 15:58:32 +0000 (17:58 +0200)]
Merge branch 'pseudoruprecht/latexbackend' of git://git.pipapo.org/mob/nobug into devel

* 'pseudoruprecht/latexbackend' of git://git.pipapo.org/mob/nobug:
  upgrade listingblock in latex.conf to fancyvrb (has more features that come in handy)

10 years agofixing backslash escaping in tables, refine the compatibility table
Christian Thaeter [Sun, 15 Aug 2010 15:52:53 +0000 (17:52 +0200)]
fixing backslash escaping in tables, refine the compatibility table

10 years agoArrgs, accidentally dropped what was already commited
Christian Thaeter [Sun, 15 Aug 2010 15:46:50 +0000 (17:46 +0200)]
Arrgs, accidentally dropped what was already commited

add .conf files to dependencies in Makefiles

10 years agoupgrade listingblock in latex.conf to fancyvrb (has more features that come in handy)
Andreas Hermann Braml [Sun, 15 Aug 2010 15:35:25 +0000 (17:35 +0200)]
upgrade listingblock in latex.conf to fancyvrb (has more features that come in handy)

10 years agoMerge remote branch 'mob/pseudoruprecht-newasciitables' into devel
Christian Thaeter [Sun, 15 Aug 2010 09:06:08 +0000 (11:06 +0200)]
Merge remote branch 'mob/pseudoruprecht-newasciitables' into devel

* mob/pseudoruprecht-newasciitables:
  doc: Convert tables to new AsciiDoc post-8.3.0 syntax

10 years agoMerge remote branch 'mob/benny2' into devel
Christian Thaeter [Sun, 15 Aug 2010 09:01:09 +0000 (11:01 +0200)]
Merge remote branch 'mob/benny2' into devel

* mob/benny2:
  Text moved to nobug.h.
  Description of Source Code Annotations expanded.
  Improvements to text describing macros.
  Language and text improvements. No significant change to content.

10 years agodoc: Convert tables to new AsciiDoc post-8.3.0 syntax
Andreas Hermann Braml [Sun, 15 Aug 2010 02:50:09 +0000 (04:50 +0200)]
doc: Convert tables to new AsciiDoc post-8.3.0 syntax

10 years agoText moved to nobug.h.
Benny Lyons [Thu, 12 Aug 2010 16:54:47 +0000 (18:54 +0200)]
Text moved to nobug.h.

10 years agoDescription of Source Code Annotations expanded.
Benny Lyons [Thu, 12 Aug 2010 16:50:42 +0000 (18:50 +0200)]
Description of Source Code Annotations expanded.

The description of the macros for annotating source code increased.
Possible reasons to use these macros given.

10 years agoImprovements to text describing macros.
Benny Lyons [Wed, 11 Aug 2010 16:10:16 +0000 (18:10 +0200)]
Improvements to text describing macros.

Description of many macros improved. A more consistent description of
all macros used, which, hopefully, should make it easier and quicker
to read.

TODO: Text on many macros still need to be improved.

10 years agoLanguage and text improvements. No significant change to content.
Benny Lyons [Wed, 11 Aug 2010 16:05:14 +0000 (18:05 +0200)]
Language and text improvements. No significant change to content.

Language corrected and some text additions, but no new information.

10 years agosome doc cosmetics and improvements
Christian Thaeter [Tue, 10 Aug 2010 03:29:01 +0000 (05:29 +0200)]
some doc cosmetics and improvements

10 years agofix listing titles
Christian Thaeter [Tue, 10 Aug 2010 03:27:11 +0000 (05:27 +0200)]
fix listing titles

we don't need captions, they didn't worked anyways

some comments to improve emacs source highlighting

10 years agoinclude .conf files in the Makefile dependencies
Christian Thaeter [Tue, 10 Aug 2010 03:25:34 +0000 (05:25 +0200)]
include .conf files in the Makefile dependencies

10 years agoRevert "Minor language improvements."
Christian Thaeter [Mon, 9 Aug 2010 20:45:32 +0000 (22:45 +0200)]
Revert "Minor language improvements."

Only revert the documentation about NOBUG_INIT(), currently the
INIT_FLAG*() will call NOBUG_INIT(), but this is mainly meant as
undocumented compatibility feature. calling NOBUG_INIT() should be
mandatory for the time being.

This reverts commit a3f52ec12331395f39da9bc6f1ca9ce0fcae49b2.

10 years agoMinor language improvements.
Benny Lyons [Mon, 9 Aug 2010 16:15:46 +0000 (18:15 +0200)]
Minor language improvements.

10 years agoformatting improvments on the resourcetracker doc
Christian Thaeter [Mon, 9 Aug 2010 08:01:14 +0000 (10:01 +0200)]
formatting improvments on the resourcetracker doc

10 years agofix resourcetracking formatting
Christian Thaeter [Mon, 9 Aug 2010 07:41:13 +0000 (09:41 +0200)]
fix resourcetracking formatting

10 years agoauthors and license formatting
Christian Thaeter [Mon, 9 Aug 2010 07:40:52 +0000 (09:40 +0200)]
authors and license formatting

10 years agofix admonition paragaphs
Christian Thaeter [Mon, 9 Aug 2010 07:40:28 +0000 (09:40 +0200)]
fix admonition paragaphs

10 years agostarting chapters at any page will safe some trees
Christian Thaeter [Mon, 9 Aug 2010 06:12:46 +0000 (08:12 +0200)]
starting chapters at any page will safe some trees

10 years agoimprove the annotations doc
Christian Thaeter [Mon, 9 Aug 2010 06:12:10 +0000 (08:12 +0200)]
improve the annotations doc

10 years agoadd 'credits' as symlink to AUTHORS
Christian Thaeter [Mon, 9 Aug 2010 05:54:47 +0000 (07:54 +0200)]
add 'credits' as symlink to AUTHORS

10 years agofixing and rewraping the macros chapter
Christian Thaeter [Mon, 9 Aug 2010 05:52:25 +0000 (07:52 +0200)]
fixing and rewraping the macros chapter

10 years agoanother newline for verbatim sections
Christian Thaeter [Mon, 9 Aug 2010 05:51:44 +0000 (07:51 +0200)]
another newline for verbatim sections

10 years agoreviewd, reworded and fixed some documentation
Christian Thaeter [Mon, 9 Aug 2010 05:18:21 +0000 (07:18 +0200)]
reviewd, reworded and fixed some documentation

10 years agoplenty improvements for latex.conf
Christian Thaeter [Mon, 9 Aug 2010 05:16:40 +0000 (07:16 +0200)]
plenty improvements for latex.conf

10 years agodoc: small documentation fixes, new title
Christian Thaeter [Sun, 8 Aug 2010 20:31:23 +0000 (22:31 +0200)]
doc: small documentation fixes, new title

10 years agopdf: fixing link generation
Christian Thaeter [Sun, 8 Aug 2010 20:27:51 +0000 (22:27 +0200)]
pdf: fixing link generation

the {0} parameter seems to be set when a attrlist for a macro is empty
so we test on {1}, looks rather like a bug or some other problem to me
but fixes the link generation for me.

10 years agoPDF: style fixes
Christian Thaeter [Sun, 8 Aug 2010 18:20:41 +0000 (20:20 +0200)]
PDF: style fixes

 * use 'book' document type for pdf
 * renumber sections, Document title is not section 0
 * few small fixes

10 years agostart new PDF generation through plain latex
Christian Thaeter [Sun, 8 Aug 2010 16:08:21 +0000 (18:08 +0200)]
start new PDF generation through plain latex

 * merged latex.conf from andreas
 * simple Make rules (no index generation yet)

10 years agoMerge branch 'coverage' into devel
Christian Thaeter [Sat, 7 Aug 2010 08:14:45 +0000 (10:14 +0200)]
Merge branch 'coverage' into devel

* coverage:
  let README generation grep asciidoc comments out
  FIX: some gotchas in test.sh
  cosmetics, fault coverage checker
  document the fault-coverage checker
  add bug-report address to AC_INIT
  tests for resource resetting
  FIX: copy'n'paste brainfart in RESETALL
  RESOURCE_RESET and RESOURCE_RESETALL
  ass some sanity checks for COVERAGE_DISABLE/ENABLE
  add COVERAGE_DISABLE/COVERAGE_ENABLE
  fault coverage testing, first implementation (EXPERIMENTAL)
  add the _IF variant to INVARIANT_ASSERT
  FIX: ENSURE_IF_CTX called the non _CTX version
  This is release 201006.1
  release make target fix

10 years agolet README generation grep asciidoc comments out coverage coverage_signature
Christian Thaeter [Sat, 7 Aug 2010 08:14:05 +0000 (10:14 +0200)]
let README generation grep asciidoc comments out

also include updated README

10 years agoFIX: some gotchas in test.sh
Christian Thaeter [Tue, 3 Aug 2010 03:13:24 +0000 (05:13 +0200)]
FIX: some gotchas in test.sh

10 years agocosmetics, fault coverage checker
Christian Thaeter [Tue, 3 Aug 2010 03:12:43 +0000 (05:12 +0200)]
cosmetics, fault coverage checker

10 years agodocument the fault-coverage checker
Christian Thaeter [Tue, 3 Aug 2010 03:11:16 +0000 (05:11 +0200)]
document the fault-coverage checker

10 years agoadd bug-report address to AC_INIT
Christian Thaeter [Mon, 19 Jul 2010 23:55:08 +0000 (01:55 +0200)]
add bug-report address to AC_INIT

10 years agotests for resource resetting
Christian Thaeter [Fri, 16 Jul 2010 01:19:20 +0000 (03:19 +0200)]
tests for resource resetting

10 years agoFIX: copy'n'paste brainfart in RESETALL
Christian Thaeter [Fri, 16 Jul 2010 01:18:13 +0000 (03:18 +0200)]
FIX: copy'n'paste brainfart in RESETALL

10 years agoRESOURCE_RESET and RESOURCE_RESETALL
Christian Thaeter [Wed, 14 Jul 2010 02:18:09 +0000 (04:18 +0200)]
RESOURCE_RESET and RESOURCE_RESETALL

brings resources back into a pristine state forgetting anything
learned so far.

10 years agoass some sanity checks for COVERAGE_DISABLE/ENABLE
Christian Thaeter [Wed, 14 Jul 2010 01:50:50 +0000 (03:50 +0200)]
ass some sanity checks for COVERAGE_DISABLE/ENABLE

10 years agoadd COVERAGE_DISABLE/COVERAGE_ENABLE
Christian Thaeter [Tue, 13 Jul 2010 14:54:12 +0000 (16:54 +0200)]
add COVERAGE_DISABLE/COVERAGE_ENABLE

These let one temporary (and nested) disable and enable fault injection on
coverage checks to suppress false positives.

10 years agofault coverage testing, first implementation (EXPERIMENTAL)
Christian Thaeter [Mon, 12 Jul 2010 21:05:09 +0000 (23:05 +0200)]
fault coverage testing, first implementation (EXPERIMENTAL)

This creates a facility to permute over instrumented faults. This is done
by hashing backtraces, every path reaching a failure point is recorded.

Programs using this fault coverage checking first parsing all logfiles
provided in the env var NOBUG_COVERAGE to learn about the previous state.

Then running the program will log at every instrumented fault and initially
fail at any newly discovered failure point and pass at the last known
failure point. Running a program multiple times always feeding back the
logs from the previous run will eventually permute through all possible way
calling errors and handling them.

10 years agoadd the _IF variant to INVARIANT_ASSERT
Christian Thaeter [Wed, 9 Jun 2010 06:10:00 +0000 (08:10 +0200)]
add the _IF variant to INVARIANT_ASSERT

turned out to be useful in edge cases

10 years agoFIX: ENSURE_IF_CTX called the non _CTX version
Christian Thaeter [Sat, 5 Jun 2010 23:17:04 +0000 (01:17 +0200)]
FIX: ENSURE_IF_CTX called the non _CTX version

10 years agoadd the _IF variant to INVARIANT_ASSERT
Christian Thaeter [Wed, 9 Jun 2010 06:10:00 +0000 (08:10 +0200)]
add the _IF variant to INVARIANT_ASSERT

turned out to be useful in edge cases

10 years agoFIX: ENSURE_IF_CTX called the non _CTX version
Christian Thaeter [Sat, 5 Jun 2010 23:17:04 +0000 (01:17 +0200)]
FIX: ENSURE_IF_CTX called the non _CTX version

10 years agoThis is release 201006.1 201006.1
Christian Thaeter [Tue, 1 Jun 2010 21:55:32 +0000 (23:55 +0200)]
This is release 201006.1

10 years agorelease make target fix
Christian Thaeter [Tue, 1 Jun 2010 21:48:44 +0000 (23:48 +0200)]
release make target fix

remove git stashing (fragile this way needs improvement)
make the signature recursively
cleanup at last

10 years agoadd some notes what to do when writing the NEWS file devel_signature
Christian Thaeter [Tue, 1 Jun 2010 21:07:18 +0000 (23:07 +0200)]
add some notes what to do when writing the NEWS file

(blame me i got that wrong at the last release)

10 years agoMakefile targets to generate a manpage
Christian Thaeter [Tue, 1 Jun 2010 20:52:59 +0000 (22:52 +0200)]
Makefile targets to generate a manpage

This is just the start for generating a manpage, which is not made by
default yet. The content and configuration need to be
improved/fixed/written in doc/nobug7.conf for that.

10 years agoAdd some generic fallbacks for defining NOBUG_FUNC
Christian Thaeter [Tue, 1 Jun 2010 17:29:46 +0000 (19:29 +0200)]
Add some generic fallbacks for defining NOBUG_FUNC

10 years agotypo in pipadoc
Christian Thaeter [Mon, 31 May 2010 03:19:07 +0000 (05:19 +0200)]
typo in pipadoc

10 years agoFix documentation about dumping datastructures
Christian Thaeter [Mon, 31 May 2010 03:06:48 +0000 (05:06 +0200)]
Fix documentation about dumping datastructures

10 years agoImprove the release make targets
Christian Thaeter [Mon, 31 May 2010 01:23:48 +0000 (03:23 +0200)]
Improve the release make targets

10 years agoSome Pending cosmetics and small fixes _signature
Christian Thaeter [Sun, 30 May 2010 03:41:08 +0000 (05:41 +0200)]
Some Pending cosmetics and small fixes

10 years agoFIX: context initialization, __func__ retrieval
Christian Thaeter [Sat, 29 May 2010 14:08:20 +0000 (16:08 +0200)]
FIX: context initialization, __func__ retrieval

 * define NOBUG_FUNC to a language and compiler defined macro
 * add detection heursistics therefor
 * add C++ ctors to construct contexts, C uses struct casts

Different standards (C/C++) and implementations provide different ways to
access the function name of the current called function. We abstract that
here and provide a fallback in case no suitable way is known.

One can override it with a CFLAG -DNOBUG_FUNC="something"

10 years agoFIX: only emit trailing semicolons in llist.h when generating declarations
Christian Thaeter [Thu, 20 May 2010 21:11:39 +0000 (23:11 +0200)]
FIX: only emit trailing semicolons in llist.h when generating declarations

10 years agoFIX: errorcode when file does not exist is undefined, must be !0 in selftest
Christian Thaeter [Wed, 19 May 2010 17:43:13 +0000 (19:43 +0200)]
FIX: errorcode when file does not exist is undefined, must be !0 in selftest

10 years agoCheck for existence of LOG_PERROR
Christian Thaeter [Wed, 19 May 2010 16:21:02 +0000 (18:21 +0200)]
Check for existence of LOG_PERROR

10 years agoFIX: impove generic compiler support
Christian Thaeter [Wed, 19 May 2010 16:07:20 +0000 (18:07 +0200)]
FIX: impove generic compiler support

 * remove gcc specific flags
 * cast resource identifer to const void* to silence the sun cc
 * fix stray comma for non gcc compilers

10 years agoThis is release 201005.1 201005.1
Christian Thaeter [Tue, 11 May 2010 22:18:59 +0000 (00:18 +0200)]
This is release 201005.1

10 years agoprefix all mpool functions with nobug_
Christian Thaeter [Tue, 11 May 2010 22:12:54 +0000 (00:12 +0200)]
prefix all mpool functions with nobug_

also bump library version

10 years agorequire invariant functions to be prefixed with 'nobug_'
Christian Thaeter [Sun, 18 Apr 2010 20:23:14 +0000 (22:23 +0200)]
require invariant functions to be prefixed with 'nobug_'