re-allowed local var references in state machines.
fixed #645
Merge remote-tracking branch 'origin/master'
improved usability
various bugfixes
various bugfixes
fixed tests
reactivated heavy dataflow analysis
added a test for the reduction rule for MACROS to the verification of NuSMV
improved analysis cancel capability
Merge remote-tracking branch 'origin/master'
Merge branch 'master' into cimporter
added support for cbmc checking of hierarchical states + code improvements
fixed broken debugger tests
Merge branch 'master' of http://github.com/mbeddr/mbeddr.core
created a model to reproduce bug 615
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Checking ASM parsing
Merge branch 'master' into cimporter