small fix
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
added xmlCBMCRawOutput to the gitignore
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fix tutorial build
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixed invalid references to sm event args
State machine in state gen fixed
Merge remote-tracking branch 'origin/master'
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
massive improvement of robustness analyses
regenerated build script with MPS-3.0.3-129.463
Current
Merge head
Build updated, error looked up in external IO - nothing found but build irregularly, logging deleted from member ref constraints.
Fixed library import in ex tests.
Build scripts updated
added mbeddr logos
updated mps version