outlined pettern instrument source code
zwischenstand
Merge branch 'gernots' into instrumentation_and_invariants
Just another temporary state
Merge branch 'gernots' into instrumentation_and_invariants to keep up-to-date
Renamed instrument source code to instrument system
More content...
finalized ’instrument system’
Merge branch 'gernots' into instrumentation_and_invariants
prepared inclusion if instrument system
included instrument system
Merge branch 'gernots' into instrumentation_and_invariants
Merge pull request #72 from MichaelMahlberg/instrumentation_and_invariants

Instrumentation and invariants - this concludes #33