adding trace info to components generators; implemented getPresentation for ComponentCallExpr
substantial improvement in counterexamples lifting for components
fixing the build
added references to rules causing the ts errors
fixed build scripts
small fixes
Merge branch 'master' of github.com:mbeddr/mbeddr.core
dataflow for debugger concepts
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Remove specific comment rather than removing all comments
Merge pull request #1148 from LMS-SIEMENS/bugfix1018

Remove specific comment rather than removing all comments
enabling the DT analyses from entry 'main' only for DTs located in functions
fixing the interaction of mbeddr analyses with CBMC 4.9
removed the list of ProgressMonitorAdapters - we do not need that anyway anymore
making analyses work on unix
BuildConfig updated
enable one-click checking only of those SMs that are contained in an IM
small fix
small fix
added multi-decision tables analyses when several DTs occur in a function