less implementation now required for ISteppableContext
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Merge branch 'master' of github.com:mbeddr/mbeddr.core
SubComponents callable from test cases
small fix
Update for time UI, to display seconds and minutes when it lasts longer
Merge branch 'master' of github.com:mbeddr/mbeddr.core
improvements to tree viewer: now has styles and access to parent node
root node now available.
expansion state is now kept
selection state now restored.
fixed build
two bugfixes
reduce number of thread as recommended by Atem last week
fixed #997
fixed #992
testing build triggers
testing build triggers
testing build triggers
major fixes in lifting the counterexample for state-machines