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
Merge branch 'master' of github.com:mbeddr/mbeddr.core
updated some build scripts; temporarily deleted pragma refactoring stuff in order to make tutorials build on CI
merged conflicts
fixed stepping into runnables
enhancements in the doc.meta language
Merge remote-tracking branch 'origin/master'
added a comment to Dan's LangSpec.
fixed build script
small improvements in lifting assignments for core
tests are green
started with external references
major refactorings to better modularize the CBMC analyses
added a demo language for external refs
updated build file for exref demo language
separating the pluginSolutions for components and statemachines analyses
fixed bugs in tutorial languages