debugging-behavior for StatemachineTestStatement and StatemachineTestStep
fixed encoding problems, fixed visualization with non-native fonts
fixed encoding problem
removed zgrviewer from tools
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed watchables representation of statemachines
Merge branch 'master' of github.com:mbeddr/mbeddr.core
updated the labels of the verification actions
added analysis config for checking statemachines with cbmc
code cleaning for checking feature and configuration models with yices
fixed Burkhard's statemachine bug
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixing the test
Merge remote-tracking branch 'origin/master'
fixed visualization of hierarchical SMs
Merge branch 'master' of github.com:mbeddr/mbeddr.core
cleanup
fixed the selection bug in state machines
minor improvements
Merge remote-tracking branch 'origin/master'