nobug
9 years agoremove 'volatile' they're wrong, we need barriers/locks there someday
Christian Thaeter [Fri, 20 Aug 2010 18:08:46 +0000 (20:08 +0200)]
remove 'volatile' they're wrong, we need barriers/locks there someday

9 years agoRelease preparation, bump library version, makefile update for README
Christian Thaeter [Fri, 20 Aug 2010 17:31:20 +0000 (19:31 +0200)]
Release preparation, bump library version, makefile update for README

9 years agoFinal Documentation makeover, fix plenty bugs
Christian Thaeter [Thu, 19 Aug 2010 17:29:07 +0000 (19:29 +0200)]
Final Documentation makeover, fix plenty bugs

9 years agoFix typos
Andreas Hermann Braml [Thu, 19 Aug 2010 01:15:43 +0000 (03:15 +0200)]
Fix typos

9 years agocosmetic in sourcecode docs
Christian Thaeter [Wed, 18 Aug 2010 20:07:03 +0000 (22:07 +0200)]
cosmetic in sourcecode docs

9 years agofix tables
Christian Thaeter [Wed, 18 Aug 2010 20:06:40 +0000 (22:06 +0200)]
fix tables

9 years agoinclude the test.sh doc into the nobug book
Christian Thaeter [Wed, 18 Aug 2010 13:42:42 +0000 (15:42 +0200)]
include the test.sh doc into the nobug book

temporary disables the standalone doc generation

9 years agocosmetics and copyright years updates
Christian Thaeter [Wed, 18 Aug 2010 13:41:11 +0000 (15:41 +0200)]
cosmetics and copyright years updates

9 years agoimprove the 'literate' source docs for the resource tracker
Christian Thaeter [Wed, 18 Aug 2010 13:40:14 +0000 (15:40 +0200)]
improve the 'literate' source docs for the resource tracker

9 years agoadd functionality to verbatim.pawk to strip leading spaces
Christian Thaeter [Wed, 18 Aug 2010 13:39:03 +0000 (15:39 +0200)]
add functionality to verbatim.pawk to strip leading spaces

9 years agoMore documentation fixes, formatting, cosmetic, wording
Christian Thaeter [Tue, 17 Aug 2010 23:22:12 +0000 (01:22 +0200)]
More documentation fixes, formatting, cosmetic, wording

9 years agoimprove index generation and pagerefs
Christian Thaeter [Tue, 17 Aug 2010 20:42:29 +0000 (22:42 +0200)]
improve index generation and pagerefs

9 years agoadd a 'dotted' list style for the index, include pageref in xrefs
Christian Thaeter [Tue, 17 Aug 2010 18:22:46 +0000 (20:22 +0200)]
add a 'dotted' list style for the index, include pageref in xrefs

9 years agosome formatting fixes, missing empty lines, literal passthoughs
Christian Thaeter [Tue, 17 Aug 2010 18:03:31 +0000 (20:03 +0200)]
some formatting fixes, missing empty lines, literal passthoughs

9 years agoMerge remote branch 'mob/pseudoruprecht/latexbackend' into devel
Christian Thaeter [Tue, 17 Aug 2010 18:00:48 +0000 (20:00 +0200)]
Merge remote branch 'mob/pseudoruprecht/latexbackend' into devel

* mob/pseudoruprecht/latexbackend:
  doc: Fix typos; update LaTeX depencies; rephrase some overly complex sentences
  Fix typo

9 years agorewrite the labeled lists using latex descriptions
Christian Thaeter [Tue, 17 Aug 2010 18:00:11 +0000 (20:00 +0200)]
rewrite the labeled lists using latex descriptions

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

9 years agodoc: Fix typos; update LaTeX depencies; rephrase some overly complex sentences
Andreas Hermann Braml [Tue, 17 Aug 2010 15:53:03 +0000 (17:53 +0200)]
doc: Fix typos; update LaTeX depencies; rephrase some overly complex sentences

9 years agoFix typo
Andreas Hermann Braml [Tue, 17 Aug 2010 15:21:53 +0000 (17:21 +0200)]
Fix typo

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

9 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

9 years agoMerge branch 'devel' into latex
Andreas Hermann Braml [Tue, 17 Aug 2010 15:11:25 +0000 (17:11 +0200)]
Merge branch 'devel' into latex

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

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

9 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 __

9 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

9 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

9 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

9 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

9 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)

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

9 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

9 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

9 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

9 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

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

9 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 '__'

9 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.

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

9 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.

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

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

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

9 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.

9 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

9 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)

9 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

9 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

9 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)

9 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

9 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.

9 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

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

9 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.

9 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.

9 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.

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

9 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

9 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

9 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.

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

9 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

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

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

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

9 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

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

9 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

9 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

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

9 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

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

9 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

9 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.

9 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

9 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)

9 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

9 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

9 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

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

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

9 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

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

9 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

9 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.

9 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

9 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.

9 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.

9 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

9 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