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
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' into Interpreter
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
First draft actually interpreting something.
Merge branch 'master' into Interpreter